命题联结词集{↑}和{↓}都是最小联结词集_答案

【判断题】

命题联结词集{↑}和{↓}都是最小联结词集

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、B是任意集合，则P(A-B)=P(A)-P(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. 错

查看答案解析

【判断题】

集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的

A. 对

B. 错

查看答案解析

【判断题】

集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个自反关系，则RS也是自反的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个反自反关系，则RS也是反自反的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个对称关系，则RS也对称的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个传递关系，则RS也是传递的

A. 对

B. 错

查看答案解析

【判断题】

若R为是集合A上的反对称关系，则t(R)一定是反对称的

A. 对

B. 错

查看答案解析

【判断题】

若R是集合A上的传递关系，则R2也是集合A上的传递关系

A. 对

B. 错

查看答案解析

推荐试题

【填空题】

139.轨端肥边大于___mm时，应及时处理。

查看答案解析

【填空题】

140.波浪型磨耗谷深大于___mm时，应进行打磨。

查看答案解析

【填空题】

141.60kg/m钢轨9号单开道岔___顶铁处冰雪必须彻底清除干净，保障该处尖轨内侧不得遗留冰雪。

查看答案解析

【填空题】

142.轨道线路施工作业时需在施工区域前后___米范围设置1盏红闪灯。

查看答案解析

【填空题】

143.拨道操作过程中，非操作作业人员应确保远离拨道机至少___米安全距离。

查看答案解析

【填空题】

144.车辆段场线碎石道床顶面宽度是___。

查看答案解析

【填空题】

145.碎石道床顶面___应低于轨枕顶面___。

查看答案解析

【填空题】

146.正线及辅助线轨枕每千米配置___根。

查看答案解析

【填空题】

147.混凝土枕和木枕的分界处，距离钢轨接头不得少于___根轨枕。

查看答案解析

【填空题】

148.对于混凝土枕挡肩顶角处离缝宽度大于___判定为失效。

查看答案解析

【填空题】

149.混凝土枕承轨槽压溃深度超过___判定为严重伤损标准。

查看答案解析

【填空题】

150.对于轻伤标准，轨头下颏透锈长度不得超过___。

查看答案解析

【填空题】

151.正线及试车线上插入的个别短轨长度不得短于___，并不得连续插入两根及以上。

查看答案解析

【填空题】

152.普通线路地段，25m钢轨每千米轨缝总误差超过___，应进行轨缝调整

查看答案解析

【填空题】

153.绝缘接头轨缝不得小于___。

查看答案解析

【填空题】

154.接头螺栓扭矩不足时，不得低于规定值___以上。

查看答案解析

【填空题】

155.无缝线路缓冲区接头螺栓扭矩应达到___。

查看答案解析

【填空题】

156.垂直磨耗在钢轨顶面宽______测量。

查看答案解析

【填空题】

157.铺设非标准长度钢轨或再用轨，无厂制缩短轨时，钢轨接头可采用相错式，其相错量不得小于___。

查看答案解析

【填空题】

158.轨道线路曲线半径R≤150时，轨距加宽标准为___。

查看答案解析

【填空题】

159.在测量轨道线路曲线正矢时，应在钢轨踏面下___处测量正矢。

查看答案解析

【填空题】

160.50kg/m钢轨7号单开道岔及5.0m交叉渡线道岔牵引点动程为___。

查看答案解析

【填空题】

161.正线道岔___与曲线之间的直线段长度，不得短于___。

查看答案解析

【填空题】

162.温度应力式无缝线路,固定区长度不得短于___。

查看答案解析

【填空题】

163.在温度应力式无缝线路上，铝热焊缝距轨枕边不得小于___。

查看答案解析

【填空题】

164.混凝土枕地段应调整不同号码扣板、轨距挡板，并可用加垫片的方法调整尺寸，但厚度不得超过___。

查看答案解析

【填空题】

165.使用打磨地铁列车成段进行打磨后钢轨踏面用1m直尺测量，不平度应小于___。

查看答案解析

【填空题】

166.我国钢轨的标准长度为___和___两种。

查看答案解析

【填空题】

167.P60kg/m钢轨普通夹板螺栓孔直径为___。

查看答案解析

【填空题】

168.P60kg/m钢轨普通夹板第一孔至第二孔距离为___。

查看答案解析

【填空题】

169.8.8级螺栓直径为___。

查看答案解析

【填空题】

170.10.9螺栓直径为___。

查看答案解析

【填空题】

171.轨枕上面支承钢轨的部分称为承轨槽，做成___的轨底坡,以适应轨底坡的要求。

查看答案解析

【填空题】

172.我国铁路规定，对木枕轨道，每公里最多为___根。

查看答案解析

【填空题】

173.我国铁路规定，对混凝土枕轨道，每公里最多为___根。

查看答案解析

【填空题】

174.我国铁路规定，每公里最少均为___根。

查看答案解析

【填空题】

175.我国地铁正线规定，每25米配置___根轨枕。

查看答案解析

【填空题】

176.混凝土枕钢筋或钢丝外露，钢筋未锈蚀，长度超过___，判定为重伤。

查看答案解析

【填空题】

177.碎石道床砟肩宽度为轨枕端部至道砟顶面外侧的水平距离，一般不小于___。

查看答案解析

【填空题】

178.线路中心线之间的垂直距离称为线间距，地面线的线间距一般为___。

查看答案解析