【判断题】
(P∨→(Q∧R))是一个命题演算的命题公式，其中P、Q、R是命题变元
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
(P→(Q∧R→﹁Q)是一个命题公式，其中P、Q、R是命题变元
【判断题】
若A：张明和李红都是三好学生，则﹁A：张和李红都不是三好学生
【判断题】
若A：张明和李红都运动员，则﹁A：张明和李红不都是运动员
【判断题】
若P：每一个自然数都是偶数，则﹁P：每一个自然数都不是偶数
【判断题】
若P：每个自然数都是偶数，则﹁P：每个自然数不都是偶数
【判断题】
如果AB，则A∧CB∧C，A∨CB∨C
【判断题】
“学习有如逆水行舟，不进则退”。设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) )
推荐试题
【填空题】
客车制动主管用内径___mm的钢管或不锈钢管制成。
【填空题】
远心集尘器安装在制动支管上截断塞门与分配阀的之间，通常是在距分配阀___mm以内。
【填空题】
车辆制动机应具备的条件之一是：当列车在运行途中发生车钩分离时，全列车都应能自动地起___作用。
【填空题】
车轮与闸瓦间摩擦系数随列车运行速度的___而减少。
【填空题】
闸瓦总压力与列车总重量之比称为列车计算___。
【填空题】
蜗杆传动由蜗杆和蜗轮组成，它主要用于传递空间交错轴的运动和动力，两轴间的交错角一般为___。
【填空题】
轴承标志板共分A、B、C三栏，其中B栏所填写的是轴承___代号。
【填空题】
单列向心滚子轴承主要承受径向力和___。
【填空题】
当F8型分配阀不作为电空制动使用时，"转换盖板"应放在___缓解位，即盖板上的箭头向上。
【填空题】
客车出库质量标准规定：轮轴各部不得有裂纹，轮毂无___现象，并符合规定限度。
【填空题】
客车出库质量标准规定：高度调整阀及调整杆无裂损变形，风管无腐蚀损坏,调整杆锁定，螺栓紧固，护套完好，关节部位转动灵活，调整杆上翘不超过___。
【填空题】
空调客车车厢内应配置消防锤，并标注"___"标识。
【填空题】
客车车厢内须按规定配置灭火器，灭火器按产品规定期限进行定期检查并涂打___标记。
【填空题】
"KLW"的全称旅客列车尾部安全防护装置，由天馈线和___构成。
【填空题】
客车列尾装置的KLW一次排风电磁阀开启时间为___秒，辅助排风制动应触发列车紧急制动。
【填空题】
摇枕挡磨耗板脱落在运用客车质量鉴定属于___类故障。
【填空题】
提速客车上旁承磨下旁承座，螺栓松动超过2条在运用客车质量鉴定属于___类故障。
【填空题】
车辆零件的损伤主要有磨损、___、裂纹折损、变形和配合件松弛等五种。
【填空题】
在无客列检、库列检作业的折返站，由车辆乘务员按___对旅客列车的技术作业范围进行作业。
【填空题】
库检应对外属列车的车钩及缓冲装置、制动装置、___装置进行全面检查，及时消除故障。
【填空题】
对于需要报废的客车，由___[车在工厂时由工厂、事故车由事故发生地铁路局]组织鉴定。
【填空题】
客车中、侧梁垂直弯曲超过___mm或横向弯曲超过100mm，可申请报废。
【填空题】
运用客车同一转向架左右旁承游隙之和是___mm。
【填空题】
普通客车轴箱顶部与构架间隙运用限度为不小于___mm。
【填空题】
25G型客车落成交验要求同一轴箱两圆弹簧高度差不得大于___mm。
【填空题】
25G型客车落成交验要求钩提杆与钩提杆座凹槽的间隙不大于___mm。
【填空题】
皮碗活塞式单元制动缸有SYSZ[PDZ]系列型和___系列型。
【填空题】
当闸片与制动盘正常间隙制动时， SP2型膜板式单元制动缸活塞行程为" A"值___mm。
【填空题】
转向架所受的外力包括：垂直静载荷、垂直动载荷、车体侧向力引起的附加垂直载荷、侧向力所引起的___、制动时所引起的纵向载荷。
【填空题】
轮对横向力与该车轮垂直载荷的比值称为脱轨系数，最危险状态下的脱轨系数不得大于___。
【填空题】
SW-220K转向架的构架为钢板焊接结构，平面呈___形。
【填空题】
SW-220K转向架的构架侧梁的中部为凹形，横梁的内腔与空气弹簧支撑梁的内腔组成空气弹簧的___。
【填空题】
SW-220K转向架的___位轴端装有接地装置。
【填空题】
CW-200K转向架的构架侧梁为中间下凹的鱼腹形，由4块钢板组焊成___封闭结构。
【填空题】
CW-200K型转向架主要由构架组成、轴箱定位装置、___、盘形制动装置等组成。
【填空题】
CW-200K型转向架轴箱定位节点组成包括轴箱定位转轴，定位套，是轮对轴箱与构架联系的纽带，它决定轮对轴箱对于___ 定位的刚度并承受两者交变的纵向和横向力。
【填空题】
CW-200K型转向架中央悬挂装置中的横向减振器分别连在中央牵引座和构架上的减振器座上，共设___个。
【填空题】
SYS640型自密式空气弹簧的空气弹簧由上盖板、空气胶囊、底座橡胶垫和___组成。
【填空题】
AM-96型转向架的轴箱定位转臂将轴箱和构架连接起来，通过弹性定位套和构架上定位臂形成轮对轴箱纵、横方向的弹性定位，传递侧向力和___力到车轴上。
