【判断题】
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是任意集合,若{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 =Φ
推荐试题
【判断题】
客车出库要求按规定配备灭火器,灭火器检修不过期,压力符合规定,铅封完好。
【判断题】
客车出库要求活动车窗窗锁齐全、升降作用良好,门窗玻璃无破损。
【判断题】
YZ25G硬座车给水系统由车顶水箱、洗面器冷水阀、厕所冲便按钮、放水阀、注水口、管路及其它各阀等组成。
【判断题】
KLW主机使用寿命为5年,其中电磁阀和压力传感器使用寿命不低于2.5年。
【判断题】
转向架构架、心盘、轴箱及定位装置裂损,定位作用失效在客车运用质量鉴定属于C类故障。
【判断题】
客车上不使用的设备、部件不属于质量鉴定范围。
【判断题】
对车辆乘务员交修的故障,经库检处理后应保证返程时不发生责任事故。
【判断题】
属客列检不摘车修范围的故障,未做处理或摘车处理为客列检责任。
【判断题】
制动梁端轴磨耗运用限度规定不超过4mm。
【判断题】
闸片掉块运用限度规定不超过10×15mm。
【判断题】
CW-2型转向架侧梁底面与摇枕上平面的距离落成交验限度为40±3 mm。
【判断题】
普通客车落成交验要求同一转向架相差左右不得超过10mm,前后不得超过12mm。
【判断题】
209T型转向架客车落成交验要求支持环下部与轴箱弹簧座的间隙,最小不得小于5mm,不符时在轴箱弹簧座上加厚度不超过4mm的薄胶垫。
【判断题】
调整钩高可以通过将209型转向架摇枕吊销支承板倒置来实现。
【判断题】
209HS转向架客车落成交验要求同一轴箱两钢弹簧高度差不大于6mm,同一转向架轴箱弹簧高度差不大于10mm。
【判断题】
25K型客车落成交验要求转向架上部与车底架下部各零件垂直距离:两横梁内侧不少于50mm(手制动拉杆、枕梁和摇枕间距离除外),横梁外侧不小于75mm。
【判断题】
CW-200K型转向架:空气簧加垫后,使车体和转向架防过冲座之间距离增大,为保证原有距离不变,可调节防过冲钢丝绳,调节长度为空气簧下所加调整垫厚度(充风至空簧标准高度时,钢丝绳长度大于上、下防过充座距离30mm时,可不调整)。
【判断题】
圆、扁开口销均劈开后因受结构限制,不能转动1周时须卷起。
【判断题】
技术总结一般分为:标题、前言、关键字、正文和署名五部分。
【判断题】
技术总结一定要实事求是,成绩不夸大,缺点不缩小,更不能弄虚作假。
【判断题】
闸瓦对车轮单位面积上的压力越大,摩擦系数越大;反之摩擦系数越小。
【判断题】
QD-K型气路控制箱的单向阀防止空气逆流而设的。
【判断题】
QD-K型气路控制箱内设有3个过滤器。
【判断题】
车钩高度的调整方法很多,常用的方法是增加或减小心盘垫板的高度。
【判断题】
高速列车采用的轮对必须进行动平衡或静平衡鉴定。
【判断题】
快速客车A1级修要求同一转向架轮径差不大于10mm,同一辆车不大于40mm。
【判断题】
CW-200K型转向架的差压阀试验差值为120±10kPa。
【判断题】
CW-200K型转向架轴箱弹簧根据车辆自重试验高度选配,同一转向架高度差不大于5mm,同一轮对及转向架同一侧其高度差不大于3mm。
【判断题】
SW-220K型转向架轴箱弹簧在A3修时须按图纸规定的最大试验载荷压缩不少于3次,每次压缩时不得有永久变形。
【判断题】
SW-220K型转向架构架的横梁采用 203×12 mm无缝钢管(材质为Q345C或ST52-3),表面经酸洗磷化处理,其内腔作为空气弹簧的附加空气室。
【判断题】
SW-220K型转向架为钢板焊接结构,平面呈H形。
【判断题】
CW-200K型转向架构架的侧梁内有密封隔板,使内腔成为空气弹簧的附加气室。
【判断题】
CW-220k型转向架的车轮为KKD型、LM磨耗型踏面,轮对组装后动平衡值不大于75 g•m。
【判断题】
CW-200K型转向架在轴箱转臂和构架间还设有横向油压减振器。
【判断题】
CW-200K型转向架的中央悬挂装置包括空气弹簧及其附属的高度阀、差压阀,以及横向挡、横向减振器、抗蛇行减振器、抗侧滚扭杆、牵引装置等主要部件。
【判断题】
AM-96型转向架的制动盘安装箍上设有注油孔及注油孔螺堵。
【判断题】
AM-96型转向架二系悬挂系统有垂向减振器、轴箱弹簧组、轴箱定位转臂、轴箱定位弹性节点等。
【判断题】
AM-96型转向架轴箱弹簧装置的安全止挡(在弹簧开裂时落下)由构架挡块和轴箱挡块组成,分别位于构架和轴箱导框上,在一般状况下,两个挡块之间的距离为40mm。