【判断题】
公式 (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也是对称的
【判断题】
设<N,*>是代数系统，其中N为自然数集，*为二元运算，定义为：对任何的a,b∈N，有a*b=a，则*是可结合的
推荐试题
【单选题】
中温回火是指加热温度为___。
A. 350oC—500oC
B. 220oC
C. 100oC—150oC
D. 265oC
【单选题】
可选用___来测量空间距是否合格。
A. 游标卡尺
B. 万能工具显微镜
C. 杠杆百分表
D. 内径塞规
【单选题】
高温回火是指加热温度为___。
A. >330oC
B. >500oC
C. 150oC—450oC
D. <250oC
【单选题】
三坐标测量机是一种高效精密测量仪器，___。
A. 不能对复杂三维形状的工件实现快速测量
B. 可对复杂三维形状的工件实现快速测量
C. 其测量结果无法打印输出
D. 其测量结果无法绘制出图形
【单选题】
中温回火后得到的组织为___。
A. 回火索氏体
B. 卡氏体
C. 回火卡氏体
D. 洛氏体
【单选题】
定位套用于外圆定位，其中，长套限制___个自由度。
【单选题】
局部视图中，用___表示某局部结构与其它部分断开。
A. 圆圈
B. 波浪线
C. 三角
D. 粗实线
【单选题】
相对 X 轴的镜像指令用___。
A. M21
B. M22
C. M23
D. M24
【单选题】
加工时用到刀具长度补偿是因为刀具存在___差异。
A. 刀具圆弧半径
B. 刀具长度
C. 刀具角度
D. 刀具材料
【单选题】
支承板用于已加工平面的定位，限制___个自由度。
【单选题】
粗镗（扩）→半精镗→精镗→浮动镗工件内孔表面的表面粗糙度为___。
A. 34.5
B. 33.2
C. 7—8
D. 0.63—1.25
【单选题】
___表示极坐标指令。
A. G90
B. G01
C. G16
D. G91
【单选题】
精磨的工序余量为___mm。
A. 0.1
B. 11
C. 0.9
D. 1.7
【单选题】
圆柱心轴用于工件圆孔定位，限制___个自由度。
【单选题】
___项可能是造成油泵不喷油现象的原因之一。
A. 油量不足
B. 油中混有异物
C. 压力表损坏
D. 压力设备设定不当
【单选题】
V 形架用于工件外圆定位，其中，长 V 形架限制___个自由度。
【单选题】
子程序返回主程序的指令为___。
A. P98
B. M99
C. M08
D. M09
【单选题】
刀具长度偏置指令中，G44 表示___。
A. 左向偏置
B. 右向偏置
C. 正向偏置
D. 负向偏置
【单选题】
工作坐标系的原点称___。
A. 工件零点
B. 工作原点
C. 机械原点
D. 空间零点
【单选题】
定位套用于外圆定位，其中，长套限制___个自由度。
【单选题】
机床坐标系的原点称为___。
A. 工件零点
B. 编程零点
C. 机械原点
D. 空间零点
【单选题】
常用地址符 H、D 的功能是___。
A. 辅助功能
B. 程序段序号
C. 主轴转速
D. 偏置号
【单选题】
刀具长度偏置指令用于刀具___。
A. 轴向补偿
B. 径向补偿
C. 圆周补偿
D. 圆弧补偿
【单选题】
___表示直线插补的指令。
A. G50
B. G01
C. G66
D. G62
【单选题】
若用 A 表示刀具半径，用 B 表示精加工余量，则粗加工补偿值等于___。
A. 3A/4B
B. A+B
C. 3AB
D. 2A/B
【单选题】
无论主程序还是子程序都是若干___组成
【单选题】
当加工程序需使用几把刀时，因为每把刀长度总会有所不同，因而需用___。
A. 刀具长度补偿
B. 刀具半径补偿
C. 刀具左补偿
D. 刀具右补偿
【单选题】
___表示切削液关的指令。
A. G50
B. M09
C. G66
D. M62
【单选题】
在固定循环完成后刀具返回到初始点要用指令___。
A. G90
B. G91
C. G98
D. G99
【单选题】
沿着刀具前进方向观察，刀具中心轨迹偏在工件轮廓的左边时，用___补偿指令。
【单选题】
粗车→粗磨→精磨工件外圆表面的表面粗糙度为___。
A. 4.5
B. 13.2
C. 5—11
D. 0.16—0.63
【单选题】
定位销用于工件圆孔定位，其中，短圆柱销限制___个自由度。
【单选题】
相对测量法相以对测量法是把放大了影像和按预定( )比例绘制的标准图形相比较，一次可实现对零件多个
尺寸的测量。
【判断题】
支承钉主要用于平面定位，
限制7个自由度。�
【判断题】
钻→扩工件内孔表面的表面粗糙度为10—20�
