相关试题
【单选题】
由n个命题变元组成不等值的命题公式的个数为___。
【单选题】
设P:我将去镇上,Q:我有时间。命题“我将去镇上,仅当我有时间时”符号化为___。
A. P→Q
B. Q→P
C.
D. ﹁Q∨﹁P
【单选题】
下列各组公式中,哪组是互为对偶的?___。
A. P,P
B. P,﹁P
C. A,(A*)*
D. A,A
【单选题】
设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为___。
A. ﹁P∧﹁Q
B. ﹁P∨﹁Q
C. ﹁( )
D.
【单选题】
设P:张三可以做这件事,Q:李四可以做这件事。命题“张三或李四可以做这件事”符号化为___。
A. P∨Q
B. P∨﹁Q
C.
D. ﹁(﹁P∨﹁Q)
【单选题】
命题公式(P∧(P→Q))→Q是___。
A. 矛盾式
B. 蕴含式
C. 重言式
D. 等值式
【单选题】
P→Q的逆反式是___。
A. Q→﹁P
B. P→﹁Q
C. ﹁Q→P
D. ﹁Q→﹁P
【单选题】
﹁P→Q的逆换式是___。
A. Q→﹁P
B. P→﹁Q
C. ﹁Q→P
D. ﹁Q→﹁P
【单选题】
已知A是B的充分条件,B是C的必要条件,D是B的必要条件,则A是D的___。
A. 充分条件
B. 必要条件
C. 充要条件
D. A,B,C都不对
【单选题】
﹁P→Q的反换式是___。
A. Q→﹁P
B. ﹁P→﹁Q
C. ﹁Q→﹁P
D. P→﹁Q
【单选题】
重言式的否定式是___。
A. 重言式
B. 矛盾式
C. 可满足式
D. 蕴含式
【单选题】
命题公式P→Q∧R的对偶式为___。
A. P→(Q∨R)
B. P∧(Q∨R)
C. ﹁P∨(Q∧R)
D. ﹁P∧(Q∨R)
【单选题】
命题公式P→(Q↓P)是___。
A. 重言式
B. 可满足式
C. 矛盾式
D. 等值式
【单选题】
P ﹁Q ___。
A. ﹁P→(P→﹁Q)
B. (﹁P∨Q)∧(﹁Q∨P )
C. (﹁P∨﹁Q)∧(﹁Q∨P)
D. (﹁P∨﹁Q)∧(Q∨P )
【单选题】
命题公式﹁(P∧Q)→R的主析取范式中含极小项的个数为___。
【单选题】
命题公式﹁(P∧Q)→R的主析取范式中含极大项的个数为___。
【单选题】
命题公式﹁(P∧Q)→R的成真赋值为___。
A. 000,001,110
B. 001,011,101,110,111
C. 全体赋值
D. 无
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中量词 x的作用域是___。
A. ( x)(P(x)∨( y)R(y))
B. P(x)
C. P(x)∨( y)R(y)
D. P(x) ,Q(x)
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中变元x是___。
A. 自由变量
B. 约束变量
C. 既不是自由变量也不是约束变量
D. 既是自由变量也是约束变量
【单选题】
设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 ( x)(P(x) Q(x)) 在下面哪个论域中是可满足的?___
A. 自然数集
B. 整数集
C. 实数集
D. 以上均不成立
【单选题】
设C(x):x是运动员,G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为___。
A. ﹁( x)( C(x) ﹁G(x) )
B. ﹁( x)( C(x)→﹁G(x) )
C. ﹁( x)( C(x) ﹁G(x) )
D. ﹁( x)( C(x)→﹁G(x) )
【单选题】
设A(x):x是人,B(x):x犯错误,命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
【单选题】
设Z(x):x是整数,N(x):x是负数,S(x,y):y是x的平方,则“任何整数的平方非负”可表示为下述谓词公式:___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
【单选题】
令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为:___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
【单选题】
设个体域A={a,b},公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
【单选题】
在谓词演算中:P(a)是( x)P(x)的有效结论,其理论根据是___。
A. 全称规定规则(US)
B. 全称推广规则(UG)
C. 存在规定规则(ES)
D. 存在推广规则(EG)
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6},则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
在0________Φ之间填上正确的符号。 ___
【单选题】
设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)·f2(x)=0的解为___。
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A},则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的,对称的
D. 反自反的,传递的
【单选题】
设S={1,2,3},下图给出了S上的两个关系R1,R2,则复合关系 是___。
A. 自反的
B. 传递的
C. 对称的
D. 等价的
【单选题】
设A={1,2,3,4,5},ρ={<i,j>| i<j,i,j∈A},则 的性质是___。
A. 对称的
B. 自反的
C. 反对称的
D. 反自反、反对称、传递的
【单选题】
设集合A={a,b,c},R是A上的二元关系,R={<a,a>,<a,b>,<a,c>,<c,a>},那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
设R和S是集合A上的等价关系,则R∪S的对称性___。
A. 一定成立
B. 一定不成立
C. 不一定成立
D. 不可能成立
【单选题】
设R和S是非空集合A上的等价关系,下述各式是等价关系的为___。
A. (A×A)-R
B. R2
C. R-S
D. r(R-S)
【单选题】
集合A上的关系R是相容关系的必要条件是___。
A. 自反、反对称的
B. 反自反、对称的
C. 传递、自反的
D. 自反、对称的
【单选题】
设R是集合A上的偏序关系, 是R的逆关系,则R∪ 是___。
A. 偏序关系
B. 等价关系
C. 相容关系
D. 都不是
推荐试题
【判断题】
列车通过减速地点标时,运行速度不得超过25km/h。
【判断题】
列车进站后,如列车尾部停在警冲标外方或压轨道绝缘时,车站接车人员应使用列车无线调度通信设备等通知司机或显示向前移动的手信号,使列车向前移动。
【判断题】
进站、接车进路信号机不能使用由引导人员接车时,应在引导员接车地点标处(未设的,引导人员应在进站信号机、进路信号机或站界标内方),显示引导手信号接车。
【判断题】
出站信号机发生故障时,除按规定交递行车凭证外,对通过列车应预告司机,并显示引导手信号。
【判断题】
已请求救援的列车,待停车原因消除后可自行开车。
【判断题】
列车在区间被迫停车,防护人员设置的响墩待停车原因消除后必须及时撤除。
【判断题】
列车运行途中遇车辆乘务员使用列车无线调度通信设备通知司机列车需限速运行时,司机应根据要求限速运行并报告车站值班员(列车调度员)。
【判断题】
按施工特定行车办法行车时,列车凭特定引导手信号通过车站。
【判断题】
按施工特定行车办法行车时,车站不向司机递交书面行车凭证和调度命令,并使用列车无线调度通信设备将行车凭证号码(路票为电话记录号码、绿色许可证为编号)和调度命令号码通知司机,列车凭通过手信号通过车站。
【判断题】
路用列车进入施工地段时,应在施工防护人员显示的停车手信号前停车,根据施工负责人的要求,按调车办法,进入指定地点。
【判断题】
列车在区间装卸车时,装卸车负责人应指挥列车停于指定地点。装卸车完毕后,司机确认车门关闭后开车。
【判断题】
铁路职工或其他人员发现设备故障危及行车和人身安全时,应立即向开来列车发出停车信号,并迅速通知就近车站、工务、电务或供电人员。
【判断题】
调车信号机在调车车列全部越过调车信号机后自动关闭。
【判断题】
三显示自动闭塞区段,进站色灯信号机显示一个绿色灯光和一个黄色灯光,准许列车经道岔直向位置,进入站内越过次一架已经开放的信号机准备停车。
【判断题】
四显示自动闭塞区段,进站色灯信号机显示一个绿色灯光和一个黄色灯光时,准许列车按规定速度经道岔直向位置进入站内,表示次一架信号机经道岔直向位置开放一个绿灯。
【判断题】
四显示自动闭塞区段的进站信号机在兼作调车信号机时,显示一个月白色灯光,表示准许越过该信号机调车。
【判断题】
四显示自动闭塞区段,发车进路色灯信号机显示一个绿色灯光,表示该信号机列车运行前方至少有两架信号机经道岔侧向位置在开放状态。
【判断题】
三显示自动闭塞区段,发车进路色灯信号机显示一个绿色灯光和一个黄色灯光,表示准许列车越过该信号机,表示该信号机列车运行前方次一架信号机在开放状态。
【判断题】
四显示自动闭塞区段,发车进路色灯信号机显示一个绿色灯光和一个黄色灯光,表示该信号机列车运行前方次一架信号机经道岔侧向位置在开放状态。
【判断题】
三显示自动闭塞、半自动闭塞、自动站间闭塞区段的发车进路色灯信号机显示相同。
【判断题】
半自动闭塞区段,通过色灯信号机显示一个绿色灯光,表示准许列车按规定速度运行,运行前方至少有两个闭塞分区空闲。
【判断题】
三显示自动闭塞区段通过色灯信号机没有一个绿色灯光和一个黄色灯光的显示。
【判断题】
三显示自动闭塞区段,通过色灯信号机显示一个黄色灯光,要求列车注意运行,表示运行前方有一个闭塞分区空闲。
【判断题】
防护分歧道岔的线路所通过信号机,其机构外形和显示方式,应与进站信号机相同,引导灯光应予封闭。
【判断题】
遮断色灯信号机显示一个红色灯光,表示不准列车越过该信号机。
【判断题】
接近色灯信号机显示一个绿色灯光和一个黄色灯光,表示进站信号机开放两个黄色灯光。
【判断题】
接近色灯信号机显示一个黄色灯光,表示进站信号机在关闭状态,或表示进站信号机显示两个黄色灯光或一个黄色闪光和一个黄色灯光。
【判断题】
遮断及其预告信号机采用方形背板,并在机柱上涂有黑白相间的斜线,以区别于一般信号机。
【判断题】
调车色灯信号机显示一个蓝色灯光时,表示准许越过该信号机调车。
【判断题】
进站色灯复示信号机两个月白色灯光水平位置显示,表示主体信号机显示经道岔侧向位置接车的信号。
【判断题】
出站信号机的色灯复示信号机无显示时表示出站信号机显示红灯。
【判断题】
自动闭塞区段连续式机车信号机显示一个双半黄色灯光时,表示列车接近的地面信号机开放经道岔直向位置的进路、显示两个黄色灯光或其他相应显示。
【判断题】
机车信号为一个半黄半红色灯光,表示要求及时采取停车措施,列车接近的地面信号机显示红色灯光。
【判断题】
自动闭塞区段,连续式机车信号机显示一个白色灯光,不复示地面上的信号显示,机车乘务人员应按地面信号机的显示运行。
【判断题】
自动闭塞区段,连续式机车信号机显示一个白色灯光,不复示地面上的信号显示,机车乘务人员应按机车信号的显示运行。
【判断题】
自动闭塞区段,连续式机车信号机显示一个红色灯光,表示列车接近的地面信号机显示红色灯光。
【判断题】
减速防护地段终端信号为表面有反光材料的黄色圆牌。
【判断题】
旅客列车在到发线上进行车辆技术作业时,用红色信号旗(灯)进行防护,可不设脱轨器。
【判断题】
使用带有脱轨器的固定或移动信号牌(灯)进行防护时,前后两端的防护距离均应不小于20m;不足20m时,应将道岔锁闭在不能通往该线的位置。