相关试题
【判断题】
A是命题公式，A与(A*)*互为对偶式
【判断题】
任一命题公式的主析取范式和它的主合取范式互为对偶式
【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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上的传递关系
推荐试题
【填空题】
136.联系用手信号显示十、五、三车距离信号时，昼间用展开的绿色信号旗单臂平伸，在距离停留车五车时连续下压两次，是表示距停留车约___。
【填空题】
137.取消信号昼间的显示方式为拢起的手信号旗，两臂于前下方交叉后，急向___摇动数次。
【填空题】
138.要求再度显示信号昼间的显示方式为拢起的手信号旗,右臂向右方___摇动。
【填空题】
139.联系用手信号的连结信号：夜间——红、绿色灯光___。
【填空题】
140.在显示手信号时，凡昼间持有手信号旗的人员，左手应持___旗。
【填空题】
141.在显示手信号时，凡昼间持有手信号旗的人员，应将信号旗___。
【填空题】
142.降弓手信号夜间的显示为白色灯光___重复摇动。
【填空题】
143.脱轨表示器显示带白边的绿色圆牌及月白色灯光——表示线路在___状态。
【填空题】
144.警冲标设在两会合线路线间距离为___的中间。
【填空题】
145.线路标志，按___方向设在线路左侧。
【填空题】
146.预告标设在进站信号机及线路所通过信号机外方___m、1000 m及1100 m处，但在设有预告或接近信号机及自动闭塞的区段，均不设预告标。
【填空题】
147.机车综合无线通信设备通信模式转换提示标志采用涂有白底色、黑框、写有黑___字样的方形板。
【填空题】
148.在双线区段反向运行时,列车标志显示方式为机车前端一个头灯及中部右侧一个___灯光。
【填空题】
149.当重复鸣示听觉信号时，须间隔___以上。
【填空题】
150.听觉信号，长声为3s，短声为1s，音响间隔为___。
【填空题】
151.发现线路有危及行车安全的不良处所时，应鸣示___信号。
【填空题】
152.在接近鸣笛标、道口、桥梁、隧道、行人、施工地点或天气不良时，应鸣示___信号。
【填空题】
153.机车的鸣笛鸣示方式中，警报信号的鸣示方式为___声。
【填空题】
154.机车库内整备完毕要道准备出段时，机班必须确认调车信号或股道号码信号、道岔开通信号、道岔表示器___，厉行确认呼唤【应答】，鸣笛动车【限鸣区段除外】。
【填空题】
155.机车到达站、段分界点停车，签认出段时分，了解挂车股道和经路，执行___，按信号显示出段。
【填空题】
156.进入挂车线后，应严格控制机车速度，执行十、五、三车和一度停车规定，确认___、防护信号及停留车位置。
【填空题】
157.机车连挂车列时，司机应根据需要适量撒砂，连挂后要___。
【填空题】
158.司机应在列车充风或列车制动机试验时，检查本务机车与列尾装置主机是否已形成“___”关系。
【填空题】
159.司机应在列车___或列车制动机试验时，检查本务机车与列尾装置主机是否已形成“一对一”关系。
【填空题】
160.机车挂车后，司机进行列车制动机试验时发现充、排风___等异常或制动主管漏泄每分钟超过20kPa时，及时通知检车人员(无检车人员时通知车站值班员)。
【填空题】
161.机车挂车后，司机发现制动关门车辆数超过规定时，发车前应持有___。
【填空题】
162.司机发现___时间短等异常或制动主管漏泄每分钟超过20kPa时，应及时通知检车人员(无检车人员时通知车站值班员)。
【填空题】
163.司机起动列车前使用列尾装置检查___制动主管压力是否与机车制动主管压力基本一致。
【填空题】
164.列车起动后，机班应进行___瞭望，确认列车起动正常。
【填空题】
165.机车司机在运行中必须严格执行“彻底瞭望、___、准确呼唤、手比眼看”的“十六字令”。
【填空题】
166.装有列尾装置的列车出发前、___前、进入长大下坡道前和停车站出站后，应使用列尾装置对制动主管的压力变化情况进行检查。
【填空题】
167.装有列尾装置的列车出发前、进站前、进入长大下坡道前和停车站出站后，应使用列尾装置对___的压力变化情况进行检查。
【填空题】
168.进入停车线停车时，提前确认LKJ显示距离与地面信号位置___，准确掌握制动时机、制动距离和减压量，应做到一次停妥。
【填空题】
169.进入停车线停车时，提前确认LKJ显示距离与地面信号位置是否一致，准确掌握___、制动距离和减压量，应做到一次停妥。
【填空题】
170.列车进入停车线施行制动停车时，累计减压量，不应超过___。
【填空题】
171.货物列车应保压停车，直至发车前出站(发车进路)信号机开放或接到车站准备开车的通知后，方能___。
【填空题】
172.依据《条例》规定，铁路交通事故分为特别重大事故、重大事故、___事故和一般事故四个等级。
【填空题】
173.根据《铁路交通事故调查处理规则》,行车设备故障耽误本列客运列车1小时以上，或耽误本列货运列车___小时以上，未构成一般C类以上事故的，为一般D类事故。
【填空题】
174.根据《铁路交通事故调查处理规则》,行车设备故障耽误本列客运列车___小时以上，或耽误本列货运列车2小时以上，未构成一般C类以上事故的，为一般D类事故。
【填空题】
175.根据《铁路交通事故调查处理规则》,列车运行中发生机车车辆断轴，车轮崩裂，制动梁、下拉杆、交叉杆等部件脱落，未构成一般B类以上事故的，为一般___类事故。
