如果AB，则A∧CB∧C，A∨CB∨C_答案

【判断题】

如果AB，则A∧CB∧C，A∨CB∨C

A. 对

B. 错

查看试卷，进入试卷练习

微信扫一扫，开始刷题

答案

解析

暂无解析

相关试题

【判断题】

如果A∧CB∧C，则AB

A. 对

B. 错

查看答案解析

【判断题】

联结词“↓”是可结合的

A. 对

B. 错

查看答案解析

【判断题】

联结词“↑”是可结合的

A. 对

B. 错

查看答案解析

【判断题】

联结词“↓”是可交换的

A. 对

B. 错

查看答案解析

【判断题】

联结词“↑”是可交换的

A. 对

B. 错

查看答案解析

【判断题】

联结词“→”满足交换律

A. 对

B. 错

查看答案解析

【判断题】

“学习有如逆水行舟，不进则退”。设P：学习如逆水行舟，Q：学习进步，R：学习退步。则命题符号化为P∧(﹁Q→R)

A. 对

B. 错

查看答案解析

【判断题】

P、Q、R定义同上题，则“学习有如逆水行舟，不进则退”形式化为：P→(﹁Q→R)

A. 对

B. 错

查看答案解析

【判断题】

设P、Q是两个命题，当且仅当P、Q的真值均为1时，PQ的值为1

A. 对

B. 错

查看答案解析

【判断题】

命题公式(P∧(P→Q))→Q是矛盾式

A. 对

B. 错

查看答案解析

【判断题】

命题公式(P∧(P→Q))→Q是重言式

A. 对

B. 错

查看答案解析

【判断题】

联结词∧与∨不是相互可分配的

A. 对

B. 错

查看答案解析

【判断题】

在命题的演算中，每个最小联结词组至少有两个联结词

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{﹁,}是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{﹁,∧,∨}是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{∧,→}是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{↑}和{↓}都是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

A是命题公式，A与(A*)*互为对偶式

A. 对

B. 错

查看答案解析

【判断题】

A是命题公式，A(A*)*

A. 对

B. 错

查看答案解析

【判断题】

P是命题变元，P与P互为对偶式

A. 对

B. 错

查看答案解析

【判断题】

任一命题公式的主析取范式和它的主合取范式互为对偶式

A. 对

B. 错

查看答案解析

【判断题】

任一命题公式都可以表示成与其等值的若干极小项的析取式

A. 对

B. 错

查看答案解析

【判断题】

在谓词公式中，一个变量只能是自由变量或约束变量中的一种

A. 对

B. 错

查看答案解析

【判断题】

公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)

A. 对

B. 错

查看答案解析

【判断题】

同一谓词公式，指定不同的论域，其真值不一定相同

A. 对

B. 错

查看答案解析

【判断题】

谓词公式(x)P(x)(y)﹁P(y)是矛盾式

A. 对

B. 错

查看答案解析

【判断题】

(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真

A. 对

B. 错

查看答案解析

【判断题】

对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)

A. 对

B. 错

查看答案解析

【判断题】

(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)

A. 对

B. 错

查看答案解析

【判断题】

P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P

A. 对

B. 错

查看答案解析

【判断题】

(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)

A. 对

B. 错

查看答案解析

【判断题】

(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)

A. 对

B. 错

查看答案解析

【判断题】

任意一个谓词公式都与一个前束范式等价

A. 对

B. 错

查看答案解析

【判断题】

公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )

A. 对

B. 错

查看答案解析

【判断题】

公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))

A. 对

B. 错

查看答案解析

【判断题】

是正确的

A. 对

B. 错

查看答案解析

【判断题】

对公式(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∪Q=Q，P∩Q=Φ，则P=Φ

A. 对

B. 错

查看答案解析

【判断题】

{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}

A. 对

B. 错

查看答案解析

【判断题】

设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B

A. 对

B. 错

查看答案解析

推荐试题

【填空题】

34.遇有轨道电路分路不良，列车或车列通过后进路漏解锁、白光带不消失，必须通过车站确认列车或车列确已安全通过该区段后，方可进行___解锁。

查看答案解析

【填空题】

35.已开放的进站信号机，三显示自动闭塞区间当列车进入第二接近区段___后，禁止___、变更进路___。

查看答案解析

【填空题】

36.四显示自动闭塞区间当列车已进入第三接近区段___时，禁止___、变更进路___。

查看答案解析

【填空题】

37.在CTC控制方式下，车站值班员发现危及行车安全的情况时，应立即按下___将控制方式转为非常站控，并及时报告列车调度员。

查看答案解析

【填空题】

38.列车冒进进站___信号机后，待接车条件具备后，助理调度员指派综合维修人员以___将列车领人站内。

查看答案解析

【填空题】

39.列车冒进出站___信号是否需退回线路内，按___的指示办理。

查看答案解析

【填空题】

40.列车冒进出站___信号后，如不退回，发车时应发给司机___，直接开往区间。

查看答案解析

【填空题】

41.由于CTC系统的功能特点，可实现不办理客货运业务、调车作业量较小、列车和调车进路由调度中心远程控制的车站行车岗位___化。

查看答案解析

【填空题】

42.CTC模式下，无人站需要增加___人员，负责在非常站控和各种非正常情况时的行车组织工作。

查看答案解析

【填空题】

43.分散自律调度集中区段，有关行车工作由该区段___直接指挥。

查看答案解析

【填空题】

44.车务终端应在列车从相邻两站开车、通过时，立即向___发出车站、车次及到开___时刻警示信息。

查看答案解析

【填空题】

45.接发特快旅客列车及200km/h动车组时，车站值班员间应按规定执行___程序。

查看答案解析

【填空题】

46.接发超限、超长、军特运等有特殊要求的列车时，车站值班员间应按规定以电话通知相关___事项。

查看答案解析

【填空题】

48.调度集中控制范围内的调车作业，人工直接操作方式的调车进路采用___钩___一办。

查看答案解析

【填空题】

49.调度集中控制范围内的调车作业，计划自动执行方式是系统根据___自动办理调车进路。

查看答案解析

【填空题】

50.中间站利用本务机车调车作业，调车领导人应使用系统提供的附有___的调车作业通知单。

查看答案解析

【填空题】

51.指挥列车运行的命令和口头指示，只能由___发布。

查看答案解析

【填空题】

52.发布有关线路、道岔限速的调度命令，必须注明___里程___及时间。

查看答案解析

【填空题】

53.区间限速区长度超过___m时，列车调度员应按区间限速下达限速命令。

查看答案解析

【填空题】

54.列调台、计划台、特调台蓬布命令号码按___循环。

查看答案解析

【填空题】

55.列车调度员发布调度命令要严格按照“一拟、二审核、三把关、四发布、五回执、六___”的程序发布。

查看答案解析

【填空题】

56.CTC分散自律模式下，凡车站进站、接车进路信号机不能使用或在双线区由反方向开来的列车而无进站信号机时，在有人站，应转入___控制，由其按有关规定办理。

查看答案解析

【填空题】

57.CTC分散自律模式下，在无人站，由助理调度员如果需要按引导进路锁闭方式接车时，开放引导信号，进站信号机复示器同时点亮___表示灯。

查看答案解析

【填空题】

58.相邻站均为非常站控模式，采用电话闭塞法行车时，___或___须与邻站办理闭塞手续。

查看答案解析

【填空题】

59.因天气不良，影响正常运行时，列车调度员调整客货车的原则是“___”。

查看答案解析

【填空题】

60.当降雨量达到禁止运行的报警信息，列车调度员应及时___并通知司机停车。

查看答案解析

【填空题】

61.开通线路前，列车调度员应得到工务、电务、供电等部门在《行车设备检查登记簿》___中___后，方可开通线路。

查看答案解析

【填空题】

62.列车冒进信号机后，机车司机须立即报告___，按其指示办理。

查看答案解析

【填空题】

63.夜间运行途中，遇列车标志不完整时，机车司机发现后应及时报告车站值班员、___。

查看答案解析

【填空题】

64.夜间运行途中，机车头灯、标志灯之一均不能使用时，机车司机应及时报告车站值班员、列车调度员后，运行到___站停车处理。

查看答案解析

【填空题】

65.列车发生火灾、爆炸时，须___。

查看答案解析

【填空题】

66.列车发生火灾、爆炸时，列车在车站停车后，需要时请求救援时，由___负责统一指挥。

查看答案解析

【填空题】

67.货物列车发生火灾、爆炸需要分隔甩车时，对甩下的车辆，在车站由___负责采取防溜措施。

查看答案解析

【填空题】

68.进站___信号机不能开放时，采用___法接车。

查看答案解析

【填空题】

69.自动闭塞区段车站的出站信号机不能开放时，列车占用区间的行车凭证为___。

查看答案解析

【填空题】

70.发车进路信号机故障或在越过发车进路信号机的线路上发出列车时，半自动闭塞区段，车站值班员确认进路准备妥当后，以___通知司机发车。

查看答案解析

【填空题】

71.旅客列车空调失效时，应以解决___为首要任务。

查看答案解析

【填空题】

列车发生疑似旅客食物中毒病人交前方停车站处理时，列车长应及时编制___进行交接。

查看答案解析

【填空题】

72.列车发生疑似旅客食物中毒病人时，车站接到列车报告后，善后处置工作由___负责。

查看答案解析

【填空题】

73.列车发生疑似旅客食物中毒病人时，如旅客所食食物系列车供应的食品时，列车长应立即___。

查看答案解析