【单选题】
设个体域A={a,b}，公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
查看试卷，进入试卷练习
微信扫一扫，开始刷题
答案
B
解析
暂无解析
相关试题
【单选题】
在谓词演算中：P(a)是( x)P(x)的有效结论，其理论根据是___。
A. 全称规定规则（US）
B. 全称推广规则（UG）
C. 存在规定规则（ES）
D. 存在推广规则（EG）
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6}，则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A}，则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的，对称的
D. 反自反的，传递的
【单选题】
设集合A={a,b,c}，R是A上的二元关系，R={<a,a>,<a,b>,<a,c>,<c,a>}，那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
下列代数系统<S，*>中，哪个是群？___。
A. S={0,1,3,5}，* 是模7加法
B. S=Q（有理数集合），* 是一般乘法
C. S=Z（整数集合），* 是一般减法
D. S={1,3,4,5,9}，* 是模11乘法
【单选题】
具有如下定义的代数系统<G，*>，哪个不构成群？___
A. G={1,10}，* 是模11乘法
B. G={1,3,4,5,9}，* 是模11乘法]
C. G=Q，* 是普通加法
D. G=Q，* 是普通乘法
【单选题】
设Z是整数集合，＋是一般加法，则下述函数中哪一个不是群<Z，＋>的自同态？ ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
下面哪个集合关于指定的运算构成环？ ___
A. ，关于数的加法和乘法
B. {n阶实数矩阵}，关于矩阵的加法和乘法
C. ，关于数的加法和乘法
D. ，关于矩阵的加法和乘法
推荐试题
【单选题】
刹车系统是：___
A. 绿系统带防滞，黄系统不带防滞，停留刹车
B. 绿或黄系统带防滞，黄系统不带防滞，停留刹车
C. 绿系统带或不带防滞，黄系统带防滞，停留刹车
D. 只有防滞断开
【单选题】
267.(A320)刹车储压器的预充压力___
A. A.根据系统的压力来确定
B. B.根据外界环境温度来确定
C. C.根据不同航空公司的不同规定来确定
D. D.根据充气工具要求来确定
【单选题】
272.(A320)下列关于起落架上锁机构叙述正确的是___
A. A.其是由液压开锁,液压锁定的
B. B.其是由液压开锁,机械锁定的
C. C.其是由机械开锁,液压锁定的
D. D.其是由机械开锁,机械锁定的
【单选题】
273.(A320)下列关于起落架收放的叙述不正确的是___
A. A.起落架控制有两套系统
B. B.有两个计算机LGCIU1和LGCIU2
C. C.每套系统都有各自的传感器
D. D.两套系统同时控制起落架系统工作
【单选题】
274.(A320)下列哪种情况可以进行正常刹车___
A. A.绿系统工作正常,BSCU工作正常
B. B.由刹车储压器提供刹车压力
C. C.A/SKID&N/WSTRG电门关断
D. D.停留刹车电门位于ON位
【单选题】
275.(A320)在ECAM机轮（WHEEL）页面上，下面什么信息是我们得不到的___
A. A.刹车压力
B. B.起落架舱门状态
C. C.刹车温度
D. D.刹车状态
【单选题】
277.(A320)在停机坪上，一台发动机运转时，停留刹车置于ON位，ECAM上的停留刹车备忘显示为___
A. A.绿色
B. B.无显示
C. C.琥珀色
D. D.红色
【单选题】
282.(A320)当防滞和前轮转弯操纵开关置于OFF位时：___
A. A.只有前轮转弯断开
B. B.防滞和前轮转弯断开
C. C.防滞提供固定的飞机减速
D. D.只有防滞断开
