如果A∧CB∧C，则AB_答案

【判断题】

如果A∧CB∧C，则AB

A. 对

B. 错

查看试卷，进入试卷练习

微信扫一扫，开始刷题

答案

解析

暂无解析

相关试题

【判断题】

联结词“↓”是可结合的

A. 对

B. 错

查看答案解析

【判断题】

联结词“↑”是可结合的

A. 对

B. 错

查看答案解析

【判断题】

联结词“↓”是可交换的

A. 对

B. 错

查看答案解析

【判断题】

联结词“↑”是可交换的

A. 对

B. 错

查看答案解析

【判断题】

联结词“→”满足交换律

A. 对

B. 错

查看答案解析

【判断题】

“学习有如逆水行舟，不进则退”。设P：学习如逆水行舟，Q：学习进步，R：学习退步。则命题符号化为P∧(﹁Q→R)

A. 对

B. 错

查看答案解析

【判断题】

P、Q、R定义同上题，则“学习有如逆水行舟，不进则退”形式化为：P→(﹁Q→R)

A. 对

B. 错

查看答案解析

【判断题】

设P、Q是两个命题，当且仅当P、Q的真值均为1时，PQ的值为1

A. 对

B. 错

查看答案解析

【判断题】

命题公式(P∧(P→Q))→Q是矛盾式

A. 对

B. 错

查看答案解析

【判断题】

命题公式(P∧(P→Q))→Q是重言式

A. 对

B. 错

查看答案解析

【判断题】

联结词∧与∨不是相互可分配的

A. 对

B. 错

查看答案解析

【判断题】

在命题的演算中，每个最小联结词组至少有两个联结词

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{﹁,}是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{﹁,∧,∨}是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

命题联结词集{∧,→}是最小联结词集

A. 对

B. 错

查看答案解析

【判断题】

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

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. 慢

C. 低

D. 小

查看答案解析

【单选题】

数控系统面板上这些按钮的作用是 ___

A. 快速进给倍率选择

B. 模拟主轴运转倍率选择

C. 空运转速度

D. 单端运行速度

查看答案解析

【单选题】

数铣加工过程中，按了紧急停止按钮后，应 ___

A. 手动返回参考点

B. 排除故障后接着走

C. 重新装夹工件

D. 重新上刀

查看答案解析

【单选题】

数控系统的手动进给值一般采用输入 ___

A. 英寸或毫米

B. 毫米

C. 厘米

D. 英寸

查看答案解析

【单选题】

通常情况下，数控机床的 DNC 功能是在数控系统的工作方式下实现的 ___

A. 自动

B. 手轮

C. 录入

D. 手动

查看答案解析

【单选题】

对 ISO EOB FMS MDI 的正确解释是 ___

A. 国际标准化组织、程序段结束符、柔性制造系统、手动数据输入

B. 美国工业电子协会、程序结束符、集成制造系统、自动运行

C. 美国工业电子协会、程序段结束符、柔性制造系统、自动运行

D. 国际标准化组织、程序结束符、集成制造系统、手动数据输入

查看答案解析

【单选题】

机械原点是 ___

A. 机床坐标系原点

B. 工作坐标系原点

C. 附加坐标系原点

D. 加工程序原点

查看答案解析

【单选题】

数控机床的准停功能主要用于 ___

A. 换刀和让刀

B. 退刀

查看答案解析

【单选题】

C.换刀和加工中 D.测量工件时 13141.按下数控系统的按钮，机床开始在程序的控制下加工零件 ___

A. 循环启动

B. 主轴正传

C. 暂停

D. 复位

查看答案解析

【单选题】

数控系统在自动运行时，单程序段控制指的是 ___

A. 执行完程序的一个程序段之后停止

B. 程序的所有程序段接连运行

C. 只能执行简单的程序

D. 跳过指定的程序段

查看答案解析

【单选题】

数控车床在执行刚性攻丝时，每旋转一转，沿攻丝轴产生一定的进给（螺纹导程） ___

A. X 轴

B. 进给轴

C. Z 轴

D. 主轴

查看答案解析

【单选题】

如果数控系统某个扩展 I/O 模块的 DI、DO、AI、AO 数量全部设为 0，系统认为该站号 ___

A. 有效

B. 只有在机床空载时有效

C. 无效

D. 只有在机床空载时无效

查看答案解析

【单选题】

当数控系统的软限位参数设定为 0 时，软限位机能 ___

A. 失效

B. 有效

C. 最大

D. 最小

查看答案解析

【单选题】

关于无挡块式回参考点的数控机床，参考点的设定，正确的是 ___

A. 返回参考点前先选择返回参考点的方式

B. 用自动把轴移动到参考点附近

C. 用快速定位指令将轴移动到下一个栅格位置后停止

D. 返回参考点后要关机

查看答案解析

【单选题】

当数控系统切削进给指数加减速时间常数为 0 时，指数加减速机能 ___

A. 无效

B. 有效

C. 最小

D. 最大

查看答案解析

【单选题】

如果用刀具的侧刃加工，为了工件尺寸准确，就必须要在数控系统里设定参数 ___

A. 刀具半径补偿

B. 刀具金属性能

C. 刀具长度补偿

D. 刀具切削速度 13150.数控机床不同螺距的丝杠与各种步距角的电机相配时，通过设定，可以使编程与

查看答案解析

【单选题】

实际运动距离保持一致 ___

A. 电子齿轮比参数

B. 切削速度上限值

查看答案解析

【单选题】

C.升、降速时间常数 D.螺距误差补偿参数 13151.圆度公差用于对回转面在任一正截面上的圆形轮廓提出的精度要求 ___

A. 形状

B. 形位

C. 位置

D. 尺寸

查看答案解析

【单选题】

数控铣床 Y 坐标方向移动时工作台面的平行度检测时要夹紧 ___

A. 升降台

B. 所有手柄

C. 横向

D. 纵向

查看答案解析

【单选题】

___

A. 0.016mm

B. 0.035mm

C. 0.040mm

D. 0.025mm

查看答案解析

【单选题】

数控铣床主轴的轴向窜动主轴轴肩支承面边缘处，旋转主轴进行检验 ___

A. 靠近

B. 远离

C. 对齐

D. 偏离

查看答案解析

【单选题】

检测主轴定心轴颈的径向跳动时使指示器测头触及主轴定心轴颈 ___

A. 表面

B. 端面

C. 轴面

D. 轴孔

查看答案解析

【单选题】

将带有指示器的支架放在面上，使指示器的测头触及检验棒的表面 ___

A. 工作台

B. 盖板

C. 导轨

D. 平口钳

查看答案解析

【单选题】

指示器和专用检验棒，检验时将指示器主轴锥孔中的专用检验棒上 ___

A. 插入

B. 敲入

C. 拧入

D. 打入

查看答案解析

【单选题】

数控铣床主轴箱在 Z 坐标方向移动的直线度检测时工作台位于行程的位置，角尺放在工作台面上横向垂直平面内和纵向垂直平面内 ___

A. 中间

B. 右边

C. 左边

D. 任意

查看答案解析

【单选题】

下图所表示的是 ___

A. 主轴顶尖误差的检测示意图

B. 尾座移动对床头箱平行度检测示意图

C. 尾座对床头箱平行度检测示意图

D. 主轴轴线的平行度检测示意图

查看答案解析

【单选题】

下图所表示的是 ___

A. 主轴轴线对工作台面垂直度检测示意图

B. 工作台平面度检测示意图

C. 床身水平调整示意图

D. 工作台水平度检测示意图

查看答案解析

【单选题】

下列关于滚珠丝杆副的结构特点论述错误的是 ___

A. 运动平稳较差

B. 可预紧消隙

查看答案解析

【单选题】

C.摩擦因数小 D.运动具有可逆性 13162.将被测物体置于三坐标测量空间，可获得被测物体上各测点的位置 ___

A. 坐标

B. 尺寸

C. 中心

D. 重心

查看答案解析

【单选题】

令步骤 4 进行量测，并读出量测值 ___

A. 步骤 2 启开打印机开关

B. 步骤 2 启开复印机开关

C. 步骤 2 启开电脑开关

D. 步骤 2 启开扫描仪开关

查看答案解析

【单选题】

三个轴之位移量测系统经数据处理器或计算机等计算出的各点坐标（x，y，z）及各项功能量测的仪器 ___

A. 工件

B. 重量

C. 数据

D. 位置

查看答案解析

【单选题】

数控机床的定位精度主要检测单轴定位精度、单轴重复定位精度和两轴以上联动加工出试件的 ___

A. 圆度

B. 表面粗糙度

C. 平行度

D. 平面度

查看答案解析

【单选题】

泵浦可激活介质内部的一种，使其在某些能级间实现粒子数反转分布，这是形成激光的前提条件 ___

A. 粒子

B. 分子

C. 原子

D. 电子

查看答案解析

【单选题】

垂直度实际轴线必须位于于基准平面，且在给定的方向上，距离为公差值 0.1mm的另平行平面之间，如下图所示 ___

A. 垂直

B. 平行

C. 相交

D. 交叉

查看答案解析

【单选题】

下图显示，实际面（或轴线）必须位于距离为公差值 0.05，且于基准平面的两平行面之间 ___

A. 平行

B. 相交

C. 垂直

D. 相贯

查看答案解析

【单选题】

同轴度公差用于控制轴类零件的被测轴线相对轴线的同轴度误差 ___

A. 基准

B. 标准

C. 位置

D. 尺寸

查看答案解析

【单选题】

铣刀切削时直接推挤切削层金属并控制切屑流向的刀面称为 ___

A. 前刀面

B. 切削平面

C. 后刀面

D. 基面

查看答案解析

【单选题】

通常说刀具锐利，是说 ___

A. 刃口圆弧半径很小和前角较大

B. 刀尖很小

查看答案解析

【单选题】

C.前角较小和后角较大 D.刃口锋利 13173.数控铣床使用的刀具一般可分为等形式 ___

A. 组合式、模块式、整体式

B. 镶片式、模块式、组合式

查看答案解析

【单选题】

C.焊接式、机夹式、整体式 D.机夹式、组合式、镶片式 13174.加工宽度尺寸大的台阶和沟槽，一般采用 ___

A. 立铣刀

B. 成形铣刀

C. 盘形铣刀

D. 端铣刀

查看答案解析