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

【判断题】

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

查看答案解析

推荐试题

【判断题】

TCMS 激活后，只允许接收来自主控司机室的各种控制指令，而忽略非主控司机室的各种控制指令。

A. 对

B. 错

查看答案解析

【判断题】

为了保证 TCMS 故障情况下，司机可以通过操作紧急牵引按钮来进入紧急牵引模式。

A. 对

B. 错

查看答案解析

【判断题】

每列车装有6 个DIMe，用于数字量输入采集，每个模块共有32 个独立数字输入接口。

A. 对

B. 错

查看答案解析

【判断题】

REP 具备将单个车组单元的智能设备通过MVB 总线互连成列车通信网的功能。

A. 对

B. 错

查看答案解析

【判断题】

紧急牵引模式下 BCU、DCU 通过接收硬线的指令和硬线编码级位实现列车的牵引和制动控制，忽略TCMS 的网络信号。

A. 对

B. 错

查看答案解析

【判断题】

为了防止各节车辆的空调机组的压缩机同时启动，对辅助供电系统造成的交流负载严重过载，因此需要通过TCMS 对空调机组压缩机进行错时启动控制。

A. 对

B. 错

查看答案解析

【判断题】

不论是列车级总线还是车辆级总线，均采用通信线路双通道冗余设计，当某一路通信线路出现故障时，系统可以自动切换到另一路通信线路。

A. 对

B. 错

查看答案解析

【判断题】

车门驱动电机直接驱动丝杠,通过低摩擦的丝杠螺母将转到动作转换为移动车门所需的纵向运动。

A. 对

B. 错

查看答案解析

【判断题】

紧急对讲时，乘客与司机可以进行全双工双向通话。

A. 对

B. 错

查看答案解析

【判断题】

PIS系统优先级模式不可根据用户需要通过软件进行设置。

A. 对

B. 错

查看答案解析

【判断题】

EFG3橡胶缓冲装置安装于车钩座内，采用的是两个半环形对接的橡胶环形缓冲件，它属于不可复原的能量吸收部件。

A. 对

B. 错

查看答案解析

【判断题】

当列车断高压或辅助电源故障无380V交流供电情况下，能提供客室和司机室紧急通风（全新风状态），向每辆车客室提供4500 m3/h的新风，以保证乘客的安全。

A. 对

B. 错

查看答案解析

【判断题】

日检有电检查准备工作应先合“列车激活”开关（=72-S101），检查蓄电池电压表，应大于104V。

A. 对

B. 错

查看答案解析

【判断题】

车轮上无可见裂纹、处于剥离状态的薄片（宽度<10mm 且长度<20mm）和局部磨平区域（长度<60mm擦伤深度<0.7mm）；

A. 对

B. 错

查看答案解析

【判断题】

双周检作业中，受电弓弓头及碳滑板检查要求碳滑板上裂纹任何点距滑板侧边距离不小于10mm，碳滑板上裂纹长度不大于100mm，碳滑板上碳滑板缺损宽度不大于5mm，深度不能到达碳滑板的铝托层。

A. 对

B. 错

查看答案解析

【判断题】

空气弹簧的紧急弹簧和气囊外观、与车体连接的固定螺栓紧固状态检查要求气囊无鼓包，表面裂损长度小于30mm，深度小于0.5mm，宽度小于2mm。

A. 对

B. 错

查看答案解析

【判断题】

三月检受电弓清洁降弓位置指示器和上方铝板，测量间隙为5-10mm。

A. 对

B. 错

查看答案解析

【判断题】

空调紧急逆变器输出的电压为AC220V。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线一期车辆转向架的轮缘润滑方式采用湿式润滑装置。

A. 对

B. 错

查看答案解析

【判断题】

停放制动不同于一般的充气→制动，排气→缓解，它是通过弹簧作用力而产生制动作用，能满足列车较长时间断电停放的要求。

A. 对

B. 错

查看答案解析

【判断题】

为防止空簧破裂时发生车辆倾斜，两个转向架通过差压阀的连接来平衡空簧内的压力空气。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线风源系统可视回油单向阀由可视回油观油镜和单向阀组成。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线风源系统进气阀由进气止回阀与泄压阀两部分组成。

A. 对

B. 错

查看答案解析

【判断题】

车门MVB 网络系统是冗余的，一旦其中1 个主门控器出现网络故障，则MVB 网络通过第另1个主门控器继续通讯。

A. 对

B. 错

查看答案解析

【判断题】

车门直流电机上设有磁性编码器（门位置传感器），位于电机轴上用于电机速度检测，EDCU可根据此信号来确定门运动速度和位置。

A. 对

B. 错

查看答案解析

【判断题】

MVB根据传输介质不同分ESD、EMD、OGF。

A. 对

B. 错

查看答案解析

【判断题】

每列车装有6 个中继模块REP，分别安装于各节车辆中，REP 提供信号的中继放大。

A. 对

B. 错

查看答案解析

【判断题】

NRM模式下，列车在非零速时操作紧急解锁装置，车门被解锁，列车启动未出站台（60m 内）将实施紧急制动，待列车停止后乘客手动开门。

A. 对

B. 错

查看答案解析

【判断题】

动圈麦克风灵敏度低，因此特别适合在嘈杂环境中讲话，在人工广播时乘客听不到环境噪音。

A. 对

B. 错

查看答案解析

【判断题】

当列车正常激活后，Tc1司机室机柜的PISC模块上的master指示灯点亮。

A. 对

B. 错

查看答案解析

【判断题】

单个空调机组的总风量为4250m3/h，新风量为1300 m3/h

A. 对

B. 错

查看答案解析

【判断题】

每台空调机组制冷时部件启动顺序为送风机、冷凝风机、压缩机。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车当电网电压在1000V～1850V之间变化时，主电路能正常工作，并方便地实现牵引-制动的无接点转换。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车DCU具备当列车控制与诊断系统出现故障时，可用硬线实现紧急牵引功能。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车DCU可实时监测VVVF逆变器及DCU的故障，故障数据包括故障信息和历史数据。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车电-空转换点速度为 3.5－8km/h（可调整）

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车在牵引或制动工况时，通过触发导通斩波模块，能抑制因空转等原因引起的瞬时过电压。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车的制动电阻安装于车辆底架下，每节动车一个，采用强迫风冷冷却方式

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车每个动力转向架安装两台190kW的牵引电机，控制方式为车控。

A. 对

B. 错

查看答案解析

【判断题】

长沙地铁2号线列车蓄电池正常情况下的电池开路电压为2.15±0.02V

A. 对

B. 错

查看答案解析