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

【判断题】

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

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、B是任意集合，则P(A-B)=P(A)-P(B)

A. 对

B. 错

查看答案解析

【判断题】

若A-BB，则BA

A. 对

B. 错

查看答案解析

【判断题】

对每个集合A，有{A}P(A)

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

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ

A. 对

B. 错

查看答案解析

【判断题】

若AB=AC，则B=C

A. 对

B. 错

查看答案解析

【判断题】

集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的

A. 对

B. 错

查看答案解析

【判断题】

集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个自反关系，则RS也是自反的

A. 对

B. 错

查看答案解析

推荐试题

【判断题】

大修是指按周期锁组织进行的成段成批全面更换轨道部件及全面改进轨道线路纵横断面的修理

A. 对

B. 错

查看答案解析

【判断题】

50kg/m钢轨7号单开道岔的导曲线半径为300m

A. 对

B. 错

查看答案解析

【判断题】

尖轨跟端在运营地铁列车碾压后出现鞍型磨耗，深度达到1.5mm时，应进行焊补修理或打磨恢复轨头外形轮廓

A. 对

B. 错

查看答案解析

【判断题】

减振级别宜划分为中等减振、高等减振和特殊减振

A. 对

B. 错

查看答案解析

【判断题】

车场线终端应采用滑动式车挡

A. 对

B. 错

查看答案解析

【判断题】

警冲标应设在两设备限界相交处，其余线路标志应安装在行车方向右侧司机易见的位置

A. 对

B. 错

查看答案解析

【判断题】

路基应有完善的排水系统，并宜与市政排水设施相结合

A. 对

B. 错

查看答案解析

【判断题】

路基排水纵坡不应小于2‰，单面排水坡段长度不宜大于400m

A. 对

B. 错

查看答案解析

【判断题】

轨道线路维修分为维修和大修

A. 对

B. 错

查看答案解析

【判断题】

50kg/m钢轨7号单开道岔转辙器采用50AT曲线型尖轨，尖轨长5120mm，跟端采用间隔铁式活接头联结

A. 对

B. 错

查看答案解析

【判断题】

道岔范围内不设轨底坡，若与有轨底坡轨道连接时，道岔前后两根轨枕铁垫板下设轨底顺坡垫板过渡

A. 对

B. 错

查看答案解析

【判断题】

60kg/m钢轨9号单开道岔采用相离圆曲线线型，60AT弹性可弯尖轨，尖轨尖端采用藏尖式，跟端采用间隔铁结构

A. 对

B. 错

查看答案解析

【判断题】

60kg/m钢轨9号单开道岔护轨采用分开式，采用50km/h钢轨制造，护轨轨面高出基本轨12mm

A. 对

B. 错

查看答案解析

【判断题】

50kg/m钢轨7号单开道岔护轨采用分开式，采用43km/h钢轨制造，护轨轨面高出基本轨12mm

A. 对

B. 错

查看答案解析

【判断题】

单开辙叉、交叉渡线锐角辙叉、交叉渡线钝角辙叉采用高锰钢整铸辙叉

A. 对

B. 错

查看答案解析

【判断题】

4号线整体道床60kg/m钢轨9号单开道岔护轨采用分开式可调护轨，采用UIC33槽形钢轨制造，护轨轨面高出基本轨12mm

A. 对

B. 错

查看答案解析

【判断题】

50kg/m钢轨7号侧向过岔最高速度为35km/h，60kg/m钢轨9号侧向过岔最高速度为25km/h

A. 对

B. 错

查看答案解析

【判断题】

60kg/m钢轨9号AT弹性可弯曲线型尖轨道岔设计动程：第一动程160mm、第二动程80mm

A. 对

B. 错

查看答案解析

【判断题】

尖轨跟端在运营地铁列车碾压后出现鞍型磨耗，深度达到1.5mm时，应进行焊补修理或打磨恢复轨头外形轮廓

A. 对

B. 错

查看答案解析

【判断题】

辙叉护轨平直段轮缘槽检查时标准宽度为42，容许误差为+3、-1mm

A. 对

B. 错

查看答案解析

【判断题】

轨端或轨顶面剥落掉块，其长度超过15mm，深度超过4mm为轻伤

A. 对

B. 错

查看答案解析

【判断题】

轨端或轨顶面剥落掉块，其长度超过30mm，深度超过8mm为重伤

A. 对

B. 错

查看答案解析

【判断题】

钢轨顶面擦伤深度超过2mm为重伤

A. 对

B. 错

查看答案解析

【判断题】

线路爬行量超过10mm需要调整轨缝

A. 对

B. 错

查看答案解析

【判断题】

在正线线路上，个别插入短轨不得短于6m

A. 对

B. 错

查看答案解析

【判断题】

在曲线地段，未被平衡欠超高，一般应不大于75mm

A. 对

B. 错

查看答案解析

【判断题】

线路两股钢轨接头，一般应采用相错式

A. 对

B. 错

查看答案解析

【判断题】

接头螺栓以抗拉强度划分为10.9级与8.8级两种高强度螺栓

A. 对

B. 错

查看答案解析

【判断题】

改道时，木枕地段应使铁垫板外肩靠贴轨底边

A. 对

B. 错

查看答案解析

【判断题】

铺设非标准长度钢轨或再用轨，无特制缩短轨时，钢轨接头可采用相错式，其相错量不得小于3m

A. 对

B. 错

查看答案解析

【判断题】

轨端或轨顶面剥落掉块，其长度超过15mm，深度超过4mm判定为重伤

A. 对

B. 错

查看答案解析

【判断题】

采用相错式时个别插入的短轨，宜铺设在曲线两端的直线上，在困难条件下，可铺设在曲线内股

A. 对

B. 错

查看答案解析

【判断题】

钢轨锈蚀，除锈后轨底边缘处厚度不足5mm或轨腰厚度不足8mm时，判定为重伤

A. 对

B. 错

查看答案解析

【判断题】

钢轨顶面上有长大于50mm，深大于8mm的掉块，判定为折断

A. 对

B. 错

查看答案解析

【判断题】

在钢轨上钻螺栓孔时必须倒棱，两螺栓孔的净距，不得小于孔径的两倍，直径不同时按小孔径计算

A. 对

B. 错

查看答案解析

【判断题】

杭州地铁正线及试车线上曲线实设超高最大不得大于120mm

A. 对

B. 错

查看答案解析

【判断题】

道岔后直向连接曲线半径不得小于该道岔曲线半径；

A. 对

B. 错

查看答案解析

【判断题】

辙叉心、辙叉翼轨面剥落掉块，长度超过15mm，深度超过3mm，判定为轻伤标准

A. 对

B. 错

查看答案解析

【判断题】

第一牵引点（分动外锁闭）或者连接杆（联动内锁闭）之后，尖轨侧面磨耗达到7mm时需进行更换

A. 对

B. 错

查看答案解析

【判断题】

实际锁定轨温不在设计锁定轨温范围内，或左右股长轨条的实际锁定轨温相差超过5℃时，需进行应力放散或调整

A. 对

B. 错

查看答案解析