如果A∧CB∧C，则AB_答案

【判断题】

如果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. 错

查看答案解析

【判断题】

设A、B是集合，则命题AB 和A∈B可能同时成立

A. 对

B. 错

查看答案解析

推荐试题

【单选题】

反向曲线两超高顺坡终点间的直线长度，应不短于___。

A. 25m

B. 12.5m

C. 6m

D. 3.25m

查看答案解析

【单选题】

线路设备修理分为___、维修和大修三大层次。

A. 故障修

B. 巡检

C. 抢修

D. 临时补修

查看答案解析

【单选题】

轨道巡视作业周期为：正线开通初期3个月内每24小时巡查一遍，3个月后视情况可改为每48小时巡查一遍，车辆段、停车场所有线路___巡查一遍。

A. 每月

B. 每半月

C. 每双周

D. 每周

查看答案解析

【单选题】

整体道床有___、减振垫浮置板道床式及普通整体道床三种。

A. 碎石道床

B. 沥青道床

C. 钢弹簧浮置板道床

D. 立柱式检查坑道床

查看答案解析

【单选题】

曲线半径R≥300时，轨距加宽为___。

A. 15

B. 10

C. 5

D. 0

查看答案解析

【单选题】

曲线半径150<R<300时，轨距加宽为___。

A. 0

B. 5

C. 10

D. 15

查看答案解析

【单选题】

曲线半径R≤150时，轨距加宽为___。

A. 9

B. 10

C. 11

D. 12

查看答案解析

【单选题】

50kg/m钢轨7号单开道岔及5.0m交叉渡线道岔牵引点动程为___。

A. 152mm

B. 150mm

C. 148mm

D. 146mm

查看答案解析

【单选题】

整体道床60kg/m钢轨9号单开道岔及9.0m交叉渡线道岔第一牵引点动程为___。

A. 170mm

B. 160mm

C. 150mm

D. 140mm

查看答案解析

【单选题】

整体道床60kg/m钢轨9号单开道岔及9.0m交叉渡线道岔第二牵引点动程为___(具体按设计图办理)。

A. 84mm或80mm

B. 74mm或70mm

C. 64mm或60mm

D. 54mm或50mm

查看答案解析

【单选题】

导曲线支距在导曲轨与___工作边之间测量。

A. 导轨

B. 基本轨

C. 尖轨

D. 护轨

查看答案解析

【单选题】

连接曲线半径不得小于该___。

A. 1/2道岔全长

B. 连接曲线长度

C. 道岔全长

D. 道岔曲线半径

查看答案解析

【单选题】

连接曲线可以设置超高，但不得大于___，顺坡不得大于2‰。

A. 13mm

B. 14mm

C. 15mm

D. 16mm

查看答案解析

【单选题】

连接曲线可以设置超高，但不得大于15mm，顺坡不得大于___。

A. 0

B. 1‰

C. 2‰

D. 3‰

查看答案解析

【单选题】

7#单开道岔侧向过岔最高速度应不超过___。

A. 10Km/h

B. 15Km/h

C. 20Km/h

D. 25Km/h

查看答案解析

【单选题】

9#单开道岔侧向过岔最高速度应不超过___。

A. 35Km/h

B. 30Km/h

C. 25Km/h

D. 20Km/h

查看答案解析

【单选题】

固定区长度不得短于___。

A. 25m

B. 50m

C. 100m

D. 150m

查看答案解析

【单选题】

伸缩区长度一般为___。

A. 50～100m

B. 100～150m

C. 150～200m

D. 200～250m

查看答案解析

【单选题】

缓冲区一般由___(含厂制缩短轨)组成。

A. 1～2节标准轨

B. 2～4节标准轨

C. 4～6节标准轨

D. 6～8节标准轨

查看答案解析

【单选题】

缓冲区钢轨接头必须使用10.9级螺栓，扭力应保持在___。

A. 700～900N·m

B. 600～800N·m

C. 500～700N·m

D. 400～600N·m

查看答案解析

【单选题】

跨区间无缝线路内铺设的道岔设在___。

A. 缓冲区

B. 锁定区

C. 伸缩区

D. 固定区

查看答案解析

【单选题】

跨区间和全区间无缝线路的绝缘接头必须采用___。

A. 伸缩绝缘接头

B. 冻结绝缘接头

C. 普通接头

D. 胶接绝缘接头

查看答案解析

【单选题】

线路标志包括公里标、曲线标、圆曲线和缓和曲线始终点标、___。

A. 解除限速标

B. 进站预告标限速标

C. 坡度标

D. 警冲标

查看答案解析

【单选题】

信号标志(与工务有关的)包括___、进站预告标限速标和解除限速标。

A. 公里表

B. 曲线标

C. 警冲标

D. 坡度标

查看答案解析

【单选题】

道岔导曲线下股高于上股限值，作业验收为___，经常保养为2mm，临时补修为3mm。

A. -1mm

B. 0mm

C. 0.5mm

D. 1mm

查看答案解析

【单选题】

道岔导曲线下股高于上股限值，作业验收为0mm，经常保养为___，临时补修为3mm。

A. 1.5mm

B. 2mm

C. 2.5mm

D. 1mm

查看答案解析

【单选题】

道岔导曲线下股高于上股限值，作业验收为0mm，经常保养为2mm，临时补修为___。

A. 6m

B. 5mm

C. 4mm

D. 3mm

查看答案解析

【单选题】

尖轨尖处轨距的作业验收的容许偏差管理值为___。

A. ±1mm

B. ±2mm

C. ±3mm

D. ±4mm

查看答案解析

【单选题】

轨向偏差和高低偏差为___弦测量的最大矢度值。

A. 5m

B. 10m

C. 15m

D. 20m

查看答案解析

【单选题】

轨距偏差不含曲线上按规定设置的轨距加宽值，但最大轨距(含加宽值和偏差)不得超过___。

A. 1455mm

B. 1456mm

C. 1457mm

D. 1458mm

查看答案解析

【单选题】

___，是新线接管、既有线轨道大中修验收评定的主要依据。

A. 轨道综合维修质量评定

B. 轨道安全评定

C. 轨道几何尺寸

D. 轨道巡检情况

查看答案解析

【单选题】

巡查时应严格执行工务中心编制的巡道计划巡查___左右的速度全面查看线路、道岔。

A. 1km/h

B. 2km/h

C. 3km/h

D. 4km/h

查看答案解析

【单选题】

线路平坡地段，排水沟纵向坡度不宜小于___。

A. 2‰

B. 3‰

C. 4‰

D. 5‰

查看答案解析

【单选题】

正线及辅助线轨枕每千米配置根数为___根，轨枕间距离为600mm。

A. 1667

B. 1668

C. 1669

D. 1670

查看答案解析

【单选题】

正线及辅助线轨枕每千米配置根数为1667根，轨枕间距离为___。

A. 600mm

B. 700mm

C. 800mm

D. 900mm

查看答案解析

【单选题】

钢轨接头可采用相错式，其相错量不得小于___。

A. 3m

B. 4m

C. 5m

D. 6m

查看答案解析

【单选题】

线路上个别插入的短轨，在正线及试车线上不得短于___，不得连续插入两根及以上。

A. 6m

B. 7m

C. 8m

D. 9m

查看答案解析

【单选题】

线路上个别插入的短轨，在车辆段（场）线上不得短于___，不得连续插入两根及以上。

A. 4.5m

B. 4.6m

C. 4.7m

D. 4.8m

查看答案解析

【单选题】

钢轨轨面擦伤和剥落掉块接近或达到___标准时应焊补。

A. 轻伤

B. 轻伤有发展

C. 重伤

D. 折断

查看答案解析

【单选题】

钢轨轨端肥边大于___时，应及时处理。

A. 2mm

B. 3mm

C. 4mm

D. 5mm

查看答案解析