【判断题】
(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)
【判断题】
(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)
【判断题】
P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
【判断题】
{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}
【判断题】
设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B
【判断题】
设A、B是集合，则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ
【判断题】
设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ
【判断题】
设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系，则RS也是自反的
【判断题】
若R和S是集合A上的任意两个反自反关系，则RS也是反自反的
【判断题】
若R和S是集合A上的任意两个对称关系，则RS也对称的
【判断题】
若R和S是集合A上的任意两个传递关系，则RS也是传递的
【判断题】
若R为是集合A上的反对称关系，则t(R)一定是反对称的
【判断题】
若R是集合A上的传递关系，则R2也是集合A上的传递关系
【判断题】
设R和S是集合A上的等价关系，则R∪S一定是等价的
【判断题】
设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系
【判断题】
设人的集合A上的朋友关系为R，则R是A上的相容关系
【判断题】
若集合A上的关系R是对称的，则Rc也是对称的
【判断题】
设<N,*>是代数系统，其中N为自然数集，*为二元运算，定义为：对任何的a,b∈N，有a*b=a，则*是可结合的
【判断题】
在一个代数系统中，若一个元素的逆元是惟一的，则运算必定是可结合的
【判断题】
设*是S上的可结合运算，若a∈S是可逆的，则a也是可约的
【判断题】
设*是S上的可结合运算，若a∈S是可约的，则a也是可逆的
【判断题】
设<A,,* >是一个代数系统，对于任意的a,b∈A，有ab=a，而*是A上的任意二元运算，则*对不一定是可分配的
推荐试题
【单选题】
对于_______的车站，组合的排列顺序应选用“S”型排列法。[321030203]___
A. 咽喉区道岔群数目较大
B. 咽喉区道岔群数目较小
C. 咽喉区距离较短
D. 咽喉区距离较长
【单选题】
QJ平时处于_______状态。[321020201]___
【单选题】
凡是进路的始端部位都应设_______取消继电器QJ。[321030101]___
【单选题】
调车信号辅助组合DXF主要用于_______。[321020201]___
A. 调车信号机
B. 尽头型调车信号机
C. 单置调车信号机及变通按钮
D. 差置调车信号机
【单选题】
进站信号机点灯电路共有_______线。[322020201]___
A. 8条
B. 9条
C. 12条
D. 14条
【单选题】
在有二个发车方向时，出站兼调车信号机应选用_______组合。[321020201]___
A. LXZ
B. 1LXF
C. LXZ、1LXF
D. LXZ、2LXF
【单选题】
列车信号主组合LXZ共有六张类型图，其图号A-2/LXZ中“A”表示_______。[321030204]___
A. 进站
B. 出站
C. 一个发车方向
D. 二个发车方向
【单选题】
根据平行进路断线法规律，优先道岔在左侧，撇型道岔断开_______控制电源。[321020201]___
【单选题】
单动道岔组合共有四张类型图，其中弯股(反位)在上直股在下，且是第一笔道岔的图号为_______。[321030204]___
A. 1/DD
B. 2/DD
C. 3/DD
D. 4/DD
【单选题】
6502电气集中5、6线上串有下列三组继电器接点正确的是_______。[321020201]___
A. QJJ、XJJ、DGJ
B. QJJ、CJ、DGJ
C. QJJ、CJ、FDGJ
D. QJ、CJ、DGJ
【单选题】
列车开始继电器LKJ自闭电路中并有_______继电器接点。[321030203]___
【单选题】
信号检查继电器XJJ利用8线上串接KJ后接点和ZJ后接点来实现_______。[322020201]___
A. 本咽喉没有建立敌对进路
B. 另一咽喉区没未建立敌对进路
C. 选排一致
D. 本咽喉没有建立进路
【单选题】
道岔启动电路中1DQJ的1-2线圈串入道岔动作电路的作用有_______。[321020201]___
【单选题】
区段检查继电器QJJ、GJJ是挂在9线上，电路中的DBJ或FBJ的第2组接点是_______用的。[321020201]___
A. 检查道岔位置
B. 参与道岔位置检查
C. 区分站场形状
D. 检查敌对进路
【单选题】
_______时，进路上轨道区段的解锁顺序是从始终至终端方向逐段解锁。[322010201]___
A. 取消进路
B. 人工解锁
C. 正常解锁
D. 故障解锁
【单选题】
办理调车进路时，进路终端经过_______的前接点向网路发送KZ或KF电源。[322020201]___
A. ZJ
B. ZCJ
C. XJJ
D. JXJ
【单选题】
6502电气集中利用CJ的_______在正常解锁时，接通解锁网络使下一区段的LJ得以正常动作。[333020201]___
A. 快动
B. 正常动作
C. 缓动
D. 落下
【单选题】
进站、出站、进路或通过信号机的灯光熄灭、显示不明或显示不正确时，均视为_______信号。[313000000]___
A. 正常行进
B. 减速
C. 停车
D. 错误
【单选题】
四线制道岔在分线盘上X1(或X2)与X3线端子测量电压，判断道岔表示电路故障，当测得交流为105V、直流为0V，可判断为_______。[323020201]___
A. 室外二极管击穿造成短路
B. 室外断线
C. 室内断线
D. 电容短路
【单选题】
信号机点亮红灯时_______。[322020201]___
A. LXJ↓、DXJ↓、DJ↑
B. LXJ↑、DXJ↑、DJ↓
C. LXJ↑、ZXJ↑、2LQJ↓、DJ↑
D. LXJ↓、DXJ↑、DJ↑
【单选题】
6502电气集中选岔电路中,始端的_______吸起与方向电源配合使LKJ或FKJ励磁并自闭。[322020201]___
【单选题】
6502电气集中选岔电路中,终端JXJ吸起与方向电源配合,使_______励磁并自闭。[322020201]___
【单选题】
6502电气集中继电器组合架的零层,其_______端子板供控制台与室内联系电路用。[321030203]___
A. 07～011
B. 08～012
C. 09～013
D. 010～013
【单选题】
6502电气集中1LJ和2LJ_______，正常排列进路时，本区段不显示白光带，信号不能开放。[333010201]___
A. 错误保留吸起
B. 吸起
C. 落下
D. 保留
【单选题】
6502电气集中锁闭进路时，_______吸起，切断两个LJ的自闭电路，使它们均落下，点亮该区段的白光带。[321020201]___
A. QJJ
B. GJJ
C. XJJ
D. CJ
【单选题】
6502电气集中故障解锁时，1LJ和2LJ同时随_______吸起而励磁并自闭。[322020201]___
A. QJJ
B. GJJ
C. XJJ
D. CJ
【单选题】
6502电气集中正常排列进路时，_______吸起，切断ZCJ的自闭电路。[322020201]___
A. QJJ
B. GJJ
C. XJJ
D. SJ
【单选题】
6502电气集中正常排列进路时，_______吸起，ZCJ励磁并自闭。[322020201]___
A. QJJ
B. GJJ
C. XJJ
D. SJ
【单选题】
6502电气集中正常解锁时，FDGJ落下，用其后接点接通_______励磁电路，使其励磁并自闭。[323020201]___
A. QJJ
B. GJJ
C. XJJ
D. CJ
【单选题】
6502电气集中正常排列进路时，信号开放后，_______吸起，向10线供KF，接通QJJ第一条自闭电路。[331020201]___
A. QJJ
B. GJJ
C. XJ
D. CJ
【单选题】
6502电气集中列车接近，_______落下，经其后接点向10线供KF，接通QJJ第二条自闭电路。[333020201]___
A. JYJ
B. GJJ
C. XJJ
D. CJ
【单选题】
每一分支电缆可串接_______信号机。[331030203]___
A. 4～5架
B. 5～6架
C. 7～8架
D. 8～9架
【单选题】
6502电气集中ZQJ不能励磁的故障现象_______。[322020201]___
A. 办理取消进路手续时，总取消表示灯不亮，信号可以取消。
B. 总取消和总人解按钮表示灯均不亮。
C. 办理取消进路手续时，总取消表示灯不亮，且信号不能取消。
D. 总取消和总人解按钮表示灯均亮。
【单选题】
6502电气集中ZRJ不能励磁的故障现象_______。[322020201]___
A. 办理取消进路手续时，总取消表示灯不亮，信号可以取消。
B. 总取消和总人解按钮表示灯均不亮。
C. 办理取消进路手续时，总取消表示灯不亮，且信号不能取消。
D. 总取消和总人解按钮表示灯均亮。
【单选题】
6502电气集中控制台引来的各种电源线以及从组合架引来的接通道岔表示电源线,都先连到就近的K1段控制台零层4柱端子板上,其中_______电源,考虑到电流较大,还需经过汇流排端子转接。[331030203]___
A. KZ、KF、JZ三种电源
B. KZ、KF、DZ三种电源
C. KZ、KF两种电源
D. KZ、KF、JF三种电源
【单选题】
6502电气集中组合架六列侧面端子的用途,原则上规定:除定型网络线以外,组合与组合之间的联系用_______。[322030203]___
A. 01与02
B. 02与03
C. 03与04
D. 06
【单选题】
6502电气集中，执行组电路中，_______吸起，将XJJ接上第8线。[322020201]___
A. KJ
B. FKJ
C. JXJ
D. JYJ
【单选题】
6502电气集中，执行组电路中，第8线检查的基本联锁条件是_______。[333020201]___
A. 道岔位置正确，进路空闲。
B. 道岔位置正确，敌对进路未建立。
C. 进路空闲，敌对进路未建立，信号正常。
D. 道岔位置正确，进路空闲，敌对进路未建立。
【单选题】
在控制台上区分7，8，9线故障时，可在控制台上增加办理引导进路锁闭操作，则可根据原来办理的进路，判断出故障所处位置，例如：若原来办理的是接车进路，办理引导锁闭后进路无白光带，说明_______。[333020201]___
A. 9线的QJJ和GJJ故障
B. 7线的KJ故障
C. 8线的XJJ故障
D. 9线的GJJ故障
【单选题】
控制台零层一块定型配线的端子板，可供_______使用，使用后的空余端子也不再另作它用。[321030203]___
A. 一组单动道岔
B. 一架信号机
C. 一组单动道岔和一架信号机
D. 一组单动道岔和一组双动道岔
