相关试题
【判断题】
“学习有如逆水行舟，不进则退”。设P：学习如逆水行舟，Q：学习进步，R：学习退步。则命题符号化为P∧(﹁Q→R)
【判断题】
P、Q、R定义同上题，则“学习有如逆水行舟，不进则退”形式化为：P→(﹁Q→R)
【判断题】
设P、Q是两个命题，当且仅当P、Q的真值均为1时，PQ的值为1
【判断题】
命题公式(P∧(P→Q))→Q是矛盾式
【判断题】
命题公式(P∧(P→Q))→Q是重言式
【判断题】
在命题的演算中，每个最小联结词组至少有两个联结词
【判断题】
命题联结词集{﹁,∧,∨}是最小联结词集
【判断题】
命题联结词集{↑}和{↓}都是最小联结词集
【判断题】
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)
推荐试题
【判断题】
(30632 )康明斯KTA-19G2柴油机中高水温预报警传感器的接线有3根。
【判断题】
(30633 )康明斯KTA-19G2柴油机中高水温停机报警传感器的接线有2根。
【判断题】
(30634 )康明斯发电车中，当柴油机水温高于90℃时，将发生高水温停机报警保护。
【判断题】
(30635 )运用客车质量鉴定条件中，发电车发电机超温报警属B类故障。
【判断题】
(30636 )发电车电气控制原理图中电压互感器文字符号用TA标志
【判断题】
(30637 )发电车电气控制原理图中电流互感器文字符号用TV标志。
【判断题】
(30638 )接线图中应标出配线用的各种导线的型号、规格、截面积及颜色要求。
【判断题】
(30639 )接线图中，所有电气元件及其引线应标注与电器原理图中相一致的文字符号及接线号。
【判断题】
(30640 )零件图尺寸标注时，如有必要，可标注成封闭尺寸链。
【判断题】
(30641 )零件图中，角度的数字应一律写成水平方向。
【判断题】
(30642 )剖视图分为半剖视图和局部剖视图两种。
【判断题】
(30643 )剖视图和剖面图在画法上是一样的，仅是叫法不同而已。
【判断题】
(30644 )铁路信息技术设备中的一类设备是指用于铁路运输生产和管理并且不间断运行的系统设备。主要为服务器端设备、网络设备和不间断运行的客户端设备等。
【判断题】
(30645 )实现发电机组并车同期方式中准同期法并网速度比自同期法快。
【判断题】
(30646 )康明斯发电车并车过程中，若发现两机组同相间的指示灯均不亮，则表示基本符合并车条件。
【判断题】
(30647 )两台标定功率不等的发电柴油机并车运行时，若两机稳定调速率相同且不为零则负荷按标定功率比例分配。
【判断题】
(30648 )康明斯发电车中并车成功后，若需取消并车，应进行的操作是按控制面板中的“并车切除” 按钮。
【判断题】
(30649 )康明斯发电车对外供电用的主开关主要有AH-10B。
【判断题】
(30650 )列车运行途中，凡发生断路器自动分闸、熔断10器熔断时，应首先确认该干线无短路后，方可复位或更换。
【判断题】
(30651 )康明斯发电车1FC5356发电机中静止压敏电阻击穿短路将造成发电机励磁电压偏低。
【判断题】
(30652 )对于同步发电机，电枢反应是指发电机在带负载运行时，励磁绕组所产生的磁场对定子绕组 所产生的旋转磁场的影响。
【判断题】
(30653 )机油的粘度是随机油温度变化的，温度升高，粘度减小；温度降低，粘度增加。
【判断题】
(30654 )KTA-l9G2型柴油机中的机油温度传感器是安装在全流式机油滤清器的座子中。
【判断题】
(30655 )机械图中的字体必须书写端正，排列整齐，汉字应写成正楷体。
【判断题】
(30656 )KTA-19G2柴油机中LF777脏堵将造成柴油机低油压。
【判断题】
(30657 )康明斯发电车中，当机油压力低于150kPa时，将发生低油压停机报警保护。
【判断题】
(30658 )柴油机“超速”与“飞车”是同一故障现象。
【判断题】
(30659 )康明斯发电车中，当柴油机转速高于1700r/min时，将发生超速停机报警保护。
【判断题】
(30660 )发电车中所采用的1FC5系列发电机绕组高温保护的温度为145℃。
【判断题】
(30661 )康明斯发电车所使用的1FC5356发电机定子绕组高温报警感温元件采用PTC负温度系数热敏电阻。
【判断题】
(30662 )康明斯KTA-19G2柴油机中低油压预报警传感器的接线有1根。
【判断题】
(30663 )康明斯KTA-19G2柴油机中低水温报警传感器的接线有3根。
【判断题】
(30664 )某康明斯发电车1#冷却风机无论在手动高速位或手动低速位时按下1SB4后，都只有1KA8线圈得而其他线圈无法得电吸合，这故障的最大可能原因是1FU11故障。
【判断题】
(30665 )在康明斯发电车I号冷却风机控制电路中，实现低速与高速的转换的开关是1SA2。
【判断题】
(30666 )在调整康明斯KTA-19G2柴油机气门间隙时用到的工具其中有塞尺。
【判断题】
(30667 )发动机气门间隙过大，使气门脚发出异响，可用卡尺进行辅助判断。
【判断题】
(30668 )改变直流单臂电桥的供电电压值，对电阻的测量精度也会产生影响。
【判断题】
(30669 )如果电阻的阻值能反映温度、压力等非电量的变化，我们可以利用平衡电桥来测这些非电量。
【判断题】
(30670 )MTU12V183柴油机的连杆轴颈数为6个。
【判断题】
(30671 )发电车康明斯柴油机、MTU柴油机的喷油器都是在高压燃油作用下，顶开柱塞柴油才能喷入燃烧室中。
