刷题
导入试题
【判断题】
任意一个谓词公式都与一个前束范式等价
A. 对
B. 错
查看试卷,进入试卷练习
微信扫一扫,开始刷题
答案
A
解析
暂无解析
相关试题
【判断题】
公式(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-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. 错
【判断题】
设R和S是集合A上的等价关系,则R∪S一定是等价的
A. 对
B. 错
【判断题】
设R和S是集合A上的两个相容关系,则RS与R∩S都是相容关系
A. 对
B. 错
【判断题】
平面上直线间的平行关系是等价关系
A. 对
B. 错
【判断题】
设人的集合A上的朋友关系为R,则R是A上的相容关系
A. 对
B. 错
【判断题】
若集合A上的关系R是对称的,则Rc也是对称的
A. 对
B. 错
【判断题】
一个不是自反的关系,一定是反自反的
A. 对
B. 错
【判断题】
设<N,*>是代数系统,其中N为自然数集,*为二元运算,定义为:对任何的a,b∈N,有a*b=a,则*是可结合的
A. 对
B. 错
【判断题】
在一个代数系统中,若一个元素的逆元是惟一的,则运算必定是可结合的
A. 对
B. 错
【判断题】
设*是S上的可结合运算,若a∈S是可逆的,则a也是可约的
A. 对
B. 错
【判断题】
设*是S上的可结合运算,若a∈S是可约的,则a也是可逆的
A. 对
B. 错
【判断题】
设<A,,* >是一个代数系统,对于任意的a,b∈A,有ab=a,而*是A上的任意二元运算,则*对不一定是可分配的
A. 对
B. 错
【判断题】
若半群有左单位元,则左单位元惟一
A. 对
B. 错
【判断题】
<S,*>是独异点,a,b∈S,且a,b均有逆元,则(a*b)-1=a-1*b-1
A. 对
B. 错
【判断题】
<S,*>是可交换独异点,T={x|x∈S,x*x=x},则T也是独异点
A. 对
B. 错
【判断题】
有单位元且适合消去律的有限半群一定是群
A. 对
B. 错
【判断题】
<G,*>是独异点,e是单位元,若对任意的a∈G,有a*a=e,则<G,* >是Abel群
A. 对
B. 错
【判断题】
设<G,*>是一个半群,若存在单位元且每个元素都有右逆元,则<G,*>是群
A. 对
B. 错
推荐试题
【多选题】
机械联接包括: 等。
A. 带联接
B. 螺纹联接
C. 键联接
D. 销联接
【多选题】
机械联接包括:键联接、 等。
A. 齿联接
B. 螺纹联接
C. 带联接
D. 销联接
【多选题】
淬火的作用提高 ,后期要回火。
A. 硬度
B. 韧性
C. 强度
D. 塑性
【多选题】
回火:将淬火后的工件重新加热到适当温度,保温一定时间后在 中
A. 水
B. 砂
C. 油
D. 空气
【多选题】
尺寸的组成: 和尺寸数字。
A. 尺寸界线
B. 尺寸线
C. 尺寸代码
D. 尺寸线终点
【多选题】
尺寸的组成:尺寸界线、 。
A. 尺寸代码
B. 尺寸比例
C. 尺寸线
D. 尺寸数字
【多选题】
螺纹的要素:直径、线数、旋向、 。
A. 螺纹线
B. 牙型
C. 螺距
D. 导程
【多选题】
螺纹的要素: 和导程、旋向。
A. 牙型
B. 直径
C. 螺距
D. 线数
【多选题】
螺纹的要素:牙型、直径、导程、旋向、 。
A. 螺纹线
B. 齿型
C. 螺距
D. 线数
【多选题】
螺纹的要素:牙型、螺距、导程、旋向、 。
A. 直径
B. 线数
C. 螺纹线
D. 齿型
【多选题】
滚动轴承的组成一般由外圈、 组成。
A. 支持架
B. 内圈
C. 滚动体
D. 保持架
【多选题】
滚动轴承的组成一般由 、滚动体和保持架组成。
A. 外圈
B. 内圈
C. 铁芯
D. 转子
【多选题】
按应力变化特点,可分为 和非对称循环应力。
A. 非脉冲循环应力
B. 脉冲循环应力
C. 稳定循环应力
D. 对称循环应力
【多选题】
力的作用效果取决于的要素有:即力的 。
A. 大小
B. 着力点
C. 方向
D. 作用点
【多选题】
根据作用形式不同,载荷又可分为 和扭转载荷等。
A. 拉伸载荷
B. 压缩载荷
C. 弯曲载荷
D. 剪切载荷
【多选题】
按外力的作用性质,载荷常分为 。
A. 静载荷
B. 冲击载荷
C. 弯曲载荷
D. 交变载荷
【多选题】
在机械基础中常见约束类型 有 。
A. 固定端约束
B. 柔体约束
C. 光滑面约束
D. 光滑铰链约束
【多选题】
在机械基础中常用的可拆联接有 弹性联接、联轴器、离合器。
A. 铆联接
B. 键联接
C. 销联接
D. 螺纹联接
【多选题】
机械传动是靠构件之间的摩擦或啮合来传动的,以改变从动件的速度大小、转动的方向,实现 或改变力与力矩的变化,但从动件的运动都是匀速的、连续的。
A. 减速
B. 增速
C. 变速
D. 匀速
【多选题】
在机械基础中铰链四杆机构分以下不同形式: 。
A. 曲柄摇杆机构
B. 曲柄摇块机构
C. 双曲柄机构
D. 双摇杆机构
【多选题】
在机械基础中按凸轮的形状分类有: 。
A. 盘形凸轮
B. 移动凸轮
C. 圆柱凸轮
D. 圆锥凸轮
【多选题】
整体热处理的特点是对工件整体进行穿透加热,常用的方法有 调质等。
A. 退火
B. 正火
C. 淬火
D. 回火
【多选题】
在绘制图样时,应灵活选用机械制图国家标准规定的 的类型比例。
A. 原值比例
B. 放大比例
C. 百分比例
D. 缩小比例
【多选题】
在绘制图样时,尺寸线两端的形式有 ,用以表示尺寸的起止。
A. 箭头
B. 直线
C. 斜线
D. 虚线
【判断题】
机械的组成:动力部分、执行部分、接触部分、控制部分、辅助部分。
A. 对
B. 错
【判断题】
接触部分是机械的组成部分。
A. 对
B. 错
【判断题】
机械的动力部分是机械的动力来源,将其它热量转换为机械能。
A. 对
B. 错
【判断题】
机械的传动部分传递运动和动能。
A. 对
B. 错
【判断题】
机械的辅助部分包括润滑、照明等。
A. 对
B. 错
【判断题】
运动副:两个构件直接接触形成的可动连接。
A. 对
B. 错
【判断题】
运动副包括低副、高副。
A. 对
B. 错
【判断题】
运动副的低副是指点接触。
A. 对
B. 错
【判断题】
运动副的高副是指点接触或线接触。
A. 对
B. 错
【判断题】
传动系统分为:齿轮传动、蜗轮传动、带传动和链传动。
A. 对
B. 错
【判断题】
机械联接包括:螺纹联接、键联接、销联接等。
A. 对
B. 错
【判断题】
把约束对物体的作用力称为制约力。
A. 对
B. 错
【判断题】
空间自由度有3个。
A. 对
B. 错
【判断题】
平面自由度有5个。
A. 对
B. 错
【判断题】
金属材料在外力作用下抵抗永久变形(或超过容许限度的残余变形)和断裂的能力称为强度。
A. 对
B. 错
【判断题】
材料局部抵抗硬物压入其表面的能力称为硬度。
A. 对
B. 错
欢迎使用我爱刷题
×
微信搜索我爱刷题小程序
温馨提示
×
请在电脑上登陆“www.woaishuati.com”使用