【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)
【判断题】
同一谓词公式，指定不同的论域，其真值不一定相同
【判断题】
谓词公式(x)P(x)(y)﹁P(y)是矛盾式
【判断题】
(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是任意集合，则P(A-B)=P(A)-P(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也是对称的
推荐试题
【填空题】
42推送车辆时，要先___。车列前部应有人瞭望，及时显示信号。 J291
【填空题】
43调车作业摘车时，必须停妥，按规定采取好___措施，方可摘开车钩。 J295
【填空题】
44临时变更走行线时，应通知司机经路集中联锁的车站除外，司机按___或扳道员显示的允许运行的信号行车。 J304
【填空题】
45列车运行是以车站、线路所所划分的区间及自动闭塞区间的通过信号机所划分的___作间隔。 J308
【填空题】
46自动闭塞、自动站间闭塞、半自动闭塞故障时均使用___。 J309
【填空题】
47使用自动闭塞法行车时，列车进入闭塞分区的行车凭证为___信号机显示的允许运行的信号。 J314
【填空题】
48自动闭塞区段，双线双向闭塞设备的车站，反方向发出列车，列车进入区间的行车凭证是出站信号机显示的允许运行的信号，还须发给司机双线反方向行车的___。 J315
【填空题】
49自动闭塞区段，发车进路信号机发生故障时发出列车，列车进入闭塞分区的行车凭证为___。 J315
【填空题】
50司机发现通过信号机故障时，应将故障信号机的___通知前方站列车调度员。 J316
【填空题】
51自动闭塞区间通过信号机显示停车信号___时，列车必须在该信号机前___。 J316
【填空题】
52使用自动站间闭塞法行车时，列车凭出站信号机或线路所通过信号机显示的___的信号进入区间。 J317
【填空题】
53使用半自动闭塞法行车时，列车凭出站信号机或___通过信号机显示的允许运行的信号进入区间。 J319
【填空题】
54列车是指编成的车列并挂有机车及规定的___。 J331
【填空题】
55等会列车时，不准关闭空气压缩机，并应按规定显示___。 J331
【填空题】
56机车信号、列车无线调度通信设备、列车运行监控装置和列尾装置必须全程运转，严禁擅自___。 J335
【填空题】
57司机在列车运行中，遇有信号显示不明或危及行车和人身安全时，应立即采取___措施。 J335
【填空题】
58列车运行途中，遇列尾装置、___、列车运行监控装置发生故障时，司机应立即使用列车无线调度通信设备报告车站值班员或列车调度员，并根据实际情况掌握速度运行。 J335
【填空题】
59司机在列车运行中，应随时检查机车总风缸、___的压力。 J335
【填空题】
60装备机车综合无线通信设备的机车，开车前司机要选定机车综合无线通信设备通信模式和___。 J335
【填空题】
61在GSM-R区段运行时，机车综合无线通信设备、GSM-R手持终端按规定注册___，并确认正确。 J335
【填空题】
62列车在区间使用紧急制动阀停车后再开车时，司机必须检查试验列车制动主管的___状态，确认列车完整，具备开车条件后，方可起动列车。 J335
【填空题】
63司机在列车运行中，应彻底瞭望，确认信号，执行___制度，严格按信号显示要求行车，确保列车安全正点。 J335
【填空题】
64改按天气恶劣难以辨认信号的办法行车时，列车按___的显示运行。 J338
【填空题】
65改按天气恶劣难以辨认信号的办法行车,当接近地面信号机时，司机应确认地面信号，遇地面信号与机车信号显示不一致时，应立即采取___措施。 J338
【填空题】
66列尾装置故障时，车辆乘务员在列车___、停车站进站前和出站后，应按规定与司机核对列车尾部风压。 J340
【填空题】
67旅客列车改为单管供风跨局运行时，由铁路总公司发布调度命令通知有关铁路局，按单管供风办理，直至___。 J342
【填空题】
68机车乘务组以外人员登乘机车时，除铁路机车运用管理规则指定的人员外，须凭___登乘。 J346
【填空题】
69列车退行的限制速度是___km/h。 J347
【填空题】
70通过显示黄色灯光的信号机及位于定位的预告信号机时，列车运行限制速度为在___信号机前能停车的速度。 J347
【填空题】
71向站内有车线接车时，列车均应在进站信号机外停车，由接车人员向司机通知事由后，以___将列车领入站内。 J357
【填空题】
72列车进站后，应停于接车线___内方。在设有出站|进路信号机的线路，列车头部不得越过出站|进路信号机。 J358
【填空题】
73货物列车在站停车时，司机必须使列车保持___状态。 J361
【填空题】
74货物列车在站停车时，司机必须使列车保持制动状态铁路局指定的凉闸站除外。发车前，司机施行缓解，确认___具备后，方可起动列车。 J361
【填空题】
75列车在车站发车前，司机必须确认___及发车信号显示正确后，方可起动列车。 J362
【填空题】
76进站信号机及线路所通过信号机发生不能关闭的故障时，应将灯光熄灭或___。 J364
【填空题】
77装有进路表示器或发车线路表示器的出站信号机，当该表示器不良时，由办理发车人员通知司机后，列车可凭___的显示出发。 J365
【填空题】
78列车在区间被迫停车不能继续运行时，司机应立即使用列车无线调度通信设备通知两端站列车调度员及车辆乘务员、随车机械师，报告___和停车位置，根据需要迅速请求救援。 J366
【填空题】
79对已请求救援的列车，不得再行移动，并按规定对列车进行___。 J366
【填空题】
80列车分部运行，机车进入区间挂取遗留车辆时，应从车列前方距离不小于___米处防护。 J368
【填空题】
81一切电话中断后发出的列车持有附件3通知书1的列车除外，应于停车后，立即从列车___按线路最大速度等级规定的列车紧急制动距离位置处防护。 J368
