【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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是任意集合，则P(A-B)=P(A)-P(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. 安全生产规章制度#
B. 作业规程#
C. 矿区保安制度#
D. 操作规程
【多选题】
从业人员发现事故隐患或者其他不安全因素，应当立即向___报告，接到报告的人员应当及时予以处理。
A. 煤矿安全监察机构#
B. 地方政府#
C. 现场安全生产管理人员#
D. 本单位安全负责人
【多选题】
从业人员安全生产的权利有___。
A. 有权获得作业场所安全与职业危害方面的信息#
B. 有权向有关部门和工会组织提出矿山安全状况和存在的问题#
C. 对任何危害职工安全健康的决定好和行为，有权提出批评、检举和控告#
D. 有获得安全生产保障的权力
【多选题】
从业人员安全生产的基本义务有___。
A. 遵章守规，服从管理的义务#
B. 正确佩戴和使用劳动保护用品的义务#
C. 接受培训，掌握安全生产的义务#
D. 发生事故隐患及时报告的义务
【多选题】
从坡度较大的地方向下推车以及接近___时、硐室出口时，推车人应及时发出警号。
A. 道岔#
B. 弯道#
C. 巷道口#
D. 风门
【单选题】
杭州地铁线路采用___标准轨距。
A. 1430mm
B. 1435mm
C. 1440mm
D. 1445mm
【单选题】
正线及配线钢轨宜采用___钢轨。
A. 50kg/m
B. 60kg/m
C. 70kg/m
D. 80kg/m
【单选题】
车场线宜采用___钢轨。
A. 38kg/m
B. 43kg/m
C. 50kg/m
D. 60kg/m
【单选题】
不同类型的钢轨应采用___连接。
A. 每米质量大的钢轨
B. 每米质量小的钢轨
C. 异型钢轨
D. 普通钢轨
【单选题】
4号线线路最小曲线半径为___。
A. 292m
B. 295m
C. 298m
D. 300m
【单选题】
总磨耗=垂直磨耗+___侧面磨耗。
A. 1
B. 1/2
C. 1/3
D. 1/4
【单选题】
垂直磨耗在___(距标准工作边)测量。
A. 钢轨顶面宽1/2处
B. 钢轨顶面宽1/3处
C. 钢轨顶面宽1/4处
D. 钢轨顶面宽1/5处
【单选题】
车场线终端应采用___车挡。
A. 滑动式
B. 半侧式
C. 月牙式
D. 固定式
【单选题】
侧面磨耗在___处测量。
A. 钢轨踏面(按标准断面)下16mm
B. 钢轨踏面(按标准断面)下17mm
C. 钢轨踏面(按标准断面)下18mm
D. 钢轨踏面(按标准断面)下19mm
【单选题】
50kg/m和60kg/m的钢轨构造轨缝均为___。
A. 16mm
B. 18mm
C. 20mm
D. 22mm
【单选题】
其他专业需在钢轨上钻孔或加装设备时，必须经___同意。
A. 通号中心
B. 工务中心
C. 供电中心
D. 车站设备中心
【单选题】
曲线半径R≥300m时，轨距加宽___。
A. 0mm
B. 5mm
C. 10mm
D. 15mm
【单选题】
曲线半径150＜R＜300m时，轨距加宽___。
A. 0mm
B. 5mm
C. 10mm
D. 15mm
【单选题】
曲线半径R≤150m时，轨距加宽___。
A. 0mm
B. 5mm
C. 10mm
D. 15mm
【单选题】
轨距加宽值应在缓和曲线范围内递减，无缓和曲线时，在___地段递减。
【单选题】
单开道岔辙叉部分轨距直侧向均为___。
A. 1432mm
B. 1433mm
C. 1434mm
D. 1435mm
【单选题】
人工巡道的周期间隔不应超过___。
A. 72小时
B. 48小时
C. 36小时
D. 24小时
【单选题】
正线开通初期3个月内每24小时巡道一次，3个月后视情况可改为每___巡道一次。
A. 72小时
B. 48小时
C. 36小时
D. 24小时
【单选题】
尖轨尖端与基本轨不靠贴时应及时___或更换。
【单选题】
尖轨硬弯造成轨距不符合规定的应及时维修或___。
【单选题】
护轨平直部分轮缘槽标准宽度为___。
A. 42mm
B. 44mm
C. 46mm
D. 48mm
【单选题】
当侧向轨距为1441mm时，则侧向轮缘槽标准宽度为___。
A. 48mm
B. 50mm
C. 52mm
D. 54mm
【单选题】
护轨平直部分轮缘槽标准宽度容许误差为___mm。
A. +2，-2
B. +3，-1
C. +1，-3
D. +3，-2
【单选题】
查照间隔(辙叉心作用面至护轨头部外侧的距离)不得小于___。
A. 1392mm
B. 1393mm
C. 1394mm
D. 1391mm
【单选题】
护背距离(辙叉翼作用面至护轨头部外侧的距离)不得大于___。
A. 1345mm
B. 1346mm
C. 1347mm
D. 1348mm
【单选题】
温度应力式无缝线路，一般由固定区、伸缩区、___三部分构成。
A. 缓冲区
B. 冲撞区
C. 待定区
D. 温度锁定区
【单选题】
警冲标设在汇合轨道线路两线间距为___的起点处中间，有曲线时按限界加宽办法加宽。
A. 3.2m
B. 3.5m
C. 3.8m
D. 4.1m
【单选题】
道岔轨道静态几何尺寸允许偏差管理值正线、试车线轨距作业验收标准为___mm。
A. +1，-3
B. +2，-2
C. +3，-1
D. +3，-2
【单选题】
道岔轨道静态几何尺寸允许偏差管理值车辆段(场)轨距作业验收标准为___mm。
A. +1，-3
B. +2，-2
C. +3，-2
D. +3，-1
【单选题】
道岔轨道静态几何尺寸允许偏差管理值正线、试车线轨距经常保养标准为___mm。
A. +1，-3
B. +5，-3
C. +2，-2
D. +3，-1
【单选题】
道岔轨道静态几何尺寸允许偏差管理值车辆段(场)轨距经常保养标准为___mm。
A. +1，-3
B. +5，-3
C. +2，-2
D. +3，-1
【单选题】
道岔轨道静态几何尺寸允许偏差管理值正线、试车线轨距临时补修标准为___mm。
A. +1，-3
B. +2，-2
C. +3，-1
D. +6，-3
【单选题】
道岔轨道静态几何尺寸允许偏差管理值车辆段(场)轨距临时补修标准为___mm。
A. +6，-3
B. +1，-3
C. +2，-2
D. +3，-1
【单选题】
道岔轨道静态几何尺寸允许偏差管理值正线、试车线水平作业验收标准为___。
A. 1mm
B. 2mm
C. 3mm
D. 4mm
