【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有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=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系，则RS也是自反的
【判断题】
若R和S是集合A上的任意两个反自反关系，则RS也是反自反的
【判断题】
若R和S是集合A上的任意两个对称关系，则RS也对称的
【判断题】
若R和S是集合A上的任意两个传递关系，则RS也是传递的
【判断题】
若R为是集合A上的反对称关系，则t(R)一定是反对称的
【判断题】
若R是集合A上的传递关系，则R2也是集合A上的传递关系
【判断题】
设R和S是集合A上的等价关系，则R∪S一定是等价的
【判断题】
设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系
【判断题】
设人的集合A上的朋友关系为R，则R是A上的相容关系
【判断题】
若集合A上的关系R是对称的，则Rc也是对称的
推荐试题
【判断题】
紧急对讲时，乘客与司机可以进行全双工双向通话。
【判断题】
PIS系统优先级模式不可根据用户需要通过软件进行设置。
【判断题】
EFG3橡胶缓冲装置安装于车钩座内，采用的是两个半环形对接的橡胶环形缓冲件，它属于不可复原的能量吸收部件。
【判断题】
当列车断高压或辅助电源故障无380V交流供电情况下，能提供客室和司机室紧急通风（全新风状态），向每辆车客室提供4500 m3/h的新风，以保证乘客的安全。
【判断题】
日检有电检查准备工作应先合“列车激活”开关（=72-S101），检查蓄电池电压表，应大于104V。
【判断题】
车轮上无可见裂纹、处于剥离状态的薄片（宽度<10mm 且长度<20mm）和局部磨平区域（长度<60mm擦伤深度<0.7mm）；
【判断题】
双周检作业中，受电弓弓头及碳滑板检查要求碳滑板上裂纹任何点距滑板侧边距离不小于10mm，碳滑板上裂纹长度不大于100mm，碳滑板上碳滑板缺损宽度不大于5mm，深度不能到达碳滑板的铝托层。
【判断题】
空气弹簧的紧急弹簧和气囊外观、与车体连接的固定螺栓紧固状态检查要求气囊无鼓包，表面裂损长度小于30mm，深度小于0.5mm，宽度小于2mm。
【判断题】
三月检受电弓清洁降弓位置指示器和上方铝板，测量间隙为5-10mm。
【判断题】
空调紧急逆变器输出的电压为AC220V。
【判断题】
长沙地铁2号线一期车辆转向架的轮缘润滑方式采用湿式润滑装置。
【判断题】
停放制动不同于一般的充气→制动，排气→缓解，它是通过 弹簧作用力而产生制动作用，能满足列车较长时间断电停放的要求。
【判断题】
为防止空簧破裂时发生车辆倾斜，两个转向架通过差压阀的连接来平衡空簧内的压力空气。
【判断题】
长沙地铁2号线风源系统可视回油单向阀由可视回油观油镜和单向阀组成。
【判断题】
长沙地铁2号线风源系统进气阀由进气止回阀与泄压阀两部分组成。
【判断题】
车门MVB 网络系统是冗余的，一旦其中1 个主门控器出现网络故障，则MVB 网络通过第另1个主门控器继续通讯。
【判断题】
车门直流电机上设有磁性编码器（门位置传感器），位于电机轴上用于电机速度检测，EDCU可根据此信号来确定门运动速度和位置。
【判断题】
MVB根据传输介质不同分ESD、EMD、OGF。
【判断题】
每列车装有6 个中继模块REP，分别安装于各节车辆中，REP 提供信号的中继放大。
【判断题】
NRM模式下，列车在非零速时操作紧急解锁装置，车门被解锁，列车启动未出站台（60m 内）将实施紧急制动，待列车停止后乘客手动开门。
【判断题】
动圈麦克风灵敏度低，因此特别适合在嘈杂环境中讲话，在人工广播时乘客听不到环境噪音。
【判断题】
当列车正常激活后，Tc1司机室机柜的PISC模块上的master指示灯点亮。
【判断题】
单个空调机组的总风量为4250m3/h，新风量为1300 m3/h
【判断题】
每台空调机组制冷时部件启动顺序为送风机、冷凝风机、压缩机。
【判断题】
长沙地铁2号线列车当电网电压在1000V～1850V之间变化时，主电路能正常工作，并方便地实现 牵引-制动 的无接点转换。
【判断题】
长沙地铁2号线列车DCU具备当列车控制与诊断系统出现故障时，可用硬线实现紧急牵引功能。
【判断题】
长沙地铁2号线列车DCU可实时监测VVVF逆变器及DCU的故障，故障数据包括故障信息和历史数据。
【判断题】
长沙地铁2号线列车电-空转换点速度为 3.5－8km/h（可调整）
【判断题】
长沙地铁2号线列车在牵引或制动工况时，通过触发导通斩波模块，能抑制因空转等原因引起的瞬时过电压。
【判断题】
长沙地铁2号线列车的制动电阻安装于车辆底架下，每节动车一个，采用强迫风冷冷却方式
【判断题】
长沙地铁2号线列车每个动力转向架安装两台190kW的牵引电机，控制方式为车控。
【判断题】
长沙地铁2号线列车蓄电池正常情况下的电池开路电压为2.15±0.02V
【判断题】
长沙地铁2号线列车蓄电池充电设备系统浮充电状态时恒压充电电压为2.25±0.02V。
【判断题】
长沙地铁2号线列车蓄电池单体采用阀控式胶体密封铅酸蓄电池
【判断题】
长沙地铁2号线列车当制动电阻带温度超过阀值640℃时，触点断开（输出低电平），温度保护装置就会给系统一个信号，牵引逆变器切除电制动，从而保护制动电阻装置。
【判断题】
2号线列车网络采用 8 位的循环冗余校验（CRC）方式。
【判断题】
在电客车制动时，牵引电传动系统优先进行再生制动，最大限度地将能量返回电网
【判断题】
牵引逆变器作为整个交传系统的重要组成部分，它的基本功能是，把从直流电源获得的直流电压变换成频率和幅值都可调的三相交流电，并给牵引电机供电。
【判断题】
中继模块REP 作为列车级总线和车辆级总线的网关，实现数据转发功能。
【填空题】
1.日检前应向DCC领取作业任务单，明确作业车辆编号及作业时间。___
