【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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也是对称的
推荐试题
【单选题】
对于轻伤标准，轨头下颏透锈长度不得超过___。
A. 20mm
B. 30mm
C. 40mm
D. 50mm
【单选题】
正线及试车线上插入的个别短轨长度不得短于___，并不得连续插入两根及以上。
A. 4.5m
B. 6m
C. 6.5m
D. 7m
【单选题】
普通线路地段，25m钢轨每千米轨缝总误差超过___，应进行轨缝调整
A. ±40mm
B. ±80mm
C. ±120mm
D. ±160mm
【单选题】
接头螺栓扭矩不足时，不得低于规定值___以上。
A. 80N•m
B. 100N•m
C. 120N•m
D. 140N•m
【单选题】
无缝线路缓冲区接头螺栓扭矩应达到___。
A. 400N•m
B. 500N•m
C. 700N•m
D. 900N•m
【单选题】
垂直磨耗在钢轨顶面宽___(距标准工作边)测量。
A. 1/2处
B. 1/3处
C. 1/4处
D. 1/5处
【单选题】
铺设非标准长度钢轨或再用轨，无厂制缩短轨时，钢轨接头可采用相错式，其相错量不得小于___。
【单选题】
轨道线路曲线半径R≤150时，轨距加宽标准为___。
A. 5mm
B. 10mm
C. 15mm
D. 不设加宽
【单选题】
在测量轨道线路曲线正矢时，应在钢轨踏面下___处测量正矢。
A. 14mm
B. 15mm
C. 16mm
D. 17mm
【单选题】
50kg/m钢轨7号单开道岔及5.0m交叉渡线道岔牵引点动程为___。
A. 152mm
B. 160mm
C. 168mm
D. 80mm
【单选题】
正线道岔（直向）与曲线之间的直线段长度，不得短于___。
A. 15m
B. 20m
C. 25m
D. 30m
【单选题】
温度应力式无缝线路,固定区长度不得短于___。
A. 25m
B. 50m
C. 100m
D. 150m
【单选题】
在温度应力式无缝线路上，铝热焊缝距轨枕边不得小于___。
A. 25mm
B. 30mm
C. 35mm
D. 40mm
【单选题】
混凝土枕地段应调整不同号码扣板、轨距挡板，并可用加垫片的方法调整尺寸，但厚度不得超过___。
A. 0.5mm
B. 1mm
C. 1.5mm
D. 2mm
【单选题】
使用打磨地铁列车成段进行打磨后钢轨踏面用1m直尺测量，不平度应小于___。
A. 0.2mm
B. 0.3mm
C. 0.4mm
D. 0.5mm
【单选题】
我国钢轨的标准长度为___和（ ）两种。
A. 12m，25m
B. 12.5m，25m
C. 6m，25m
D. 7m，25m
【单选题】
P60kg/m钢轨普通夹板螺栓孔直径为___。
A. 26mm
B. 27mm
C. 28mm
D. 29mm
【单选题】
P60kg/m钢轨普通夹板第一孔至第二孔距离为___。
A. 140mm
B. 150mm
C. 110mm
D. 160mm
【单选题】
8.8级螺栓直径为___。
A. 20mm
B. 22mm
C. 24mm
D. 26mm
【单选题】
10.9螺栓直径为___。
A. 20mm
B. 22mm
C. 24mm
D. 26mm
【单选题】
轨枕上面支承钢轨的部分称为承轨槽，做成___的轨底坡,以适应轨底坡的要求。
A. 0.055555556
B. 0.0625
C. 0.069444444
D. 0.076388889
【单选题】
我国铁路规定，对木枕轨道，每公里最多为___根。
A. 1920
B. 1840
C. 1667
D. 1440
【单选题】
我国铁路规定，对混凝土枕轨道，每公里最多为___根。
A. 1920
B. 1840
C. 1667
D. 1440
【单选题】
我国铁路规定，每公里最少均为___根。
A. 1920
B. 1840
C. 1667
D. 1440
【单选题】
我国地铁正线规定，每25米配置___根轨枕。
【单选题】
混凝土枕钢筋或钢丝外露，钢筋未锈蚀，长度超过___，判定为重伤。
A. 80mm
B. 90mm
C. 100mm
D. 120mm
【单选题】
碎石道床砟肩宽度为轨枕端部至道砟顶面外侧的水平距离，一般不小于___。
A. 0.2m
B. 0.3m
C. 0.4m
D. 0.5m
【单选题】
线路中心线之间的垂直距离称为线间距，地面线的线间距一般为___。
A. 4.5~5m
B. 5~5.5m
C. 5.5~6m
D. 6~6.5m
【单选题】
混凝土枕碎石道床顶面应与轨枕中部顶面平齐，木枕碎石道床顶面应低于木枕顶面___。
A. 10mm
B. 20mm
C. 30mm
D. 40mm
【单选题】
排水沟的纵向坡度应与线路坡度一致，线路平坡地段，排水沟纵向坡度不宜小于___。
A. 0.02
B. 0.03
C. 0.04
D. 0.05
【单选题】
桥梁上钢轨扣件失效率不得大于___，且不得有隔一或连二失效扣件。
A. 0.1
B. 0.15
C. 0.2
D. 0.25
【单选题】
不是钢轨的主要功用的为___
A. 支持引导机车车辆的车轮
B. 使列车按正确的方向运行
C. 固定轨枕形成框架结构
D. 将来自车辆的压力传送给轨枕
【单选题】
25m,60kg/m钢轨普通线路，10.9级螺栓扭力矩应达到___。
A. 600N•m
B. 700N•m
C. 800N•m
D. 900N•m
【单选题】
不同类型的钢轨互相联结时，应使用___。
A. 鱼尾型夹板
B. 平直夹板
C. 双头式夹板
D. 异型夹板
【单选题】
下列设备零件中，___尺寸对最大轨缝限制值（即构造轨缝）没有影响。
A. 钢轨
B. 接头夹板
C. 接头螺栓
D. 轨枕扣件
【单选题】
线路上的伤损钢轨应用白铅油做好标记，连续轻伤有发展的标记是___。
A. ▕←△→▏
B. ▕←△△→▏
C. ↑△
D. ↑△△
【单选题】
线路上的伤损钢轨应用白铅油做好标记，___的标记是↑△△△。
A. 连续重伤
B. 局部重伤
C. 连续轻伤
D. 局部轻伤
【单选题】
曲线正矢应用20m弦在钢轨踏面下___测量
A. 14mm处
B. 14mm范围内
C. 16mm处
D. 16mm范围内
【单选题】
个别更换夹板后放行列车___。
A. 不限速
B. 限速5km/h
C. 限速25km/h
D. 限速45km/h
