【单选题】
设A(x):x是人，B(x):x犯错误，命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
查看试卷，进入试卷练习
微信扫一扫，开始刷题
答案
D
解析
暂无解析
相关试题
【单选题】
设Z(x):x是整数，N(x):x是负数，S(x,y):y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式：___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
【单选题】
令F(x):x是火车，G(y):y是汽车，H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为：___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
【单选题】
设个体域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)
【单选题】
在谓词演算中：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. 错
【判断题】
沿空掘进的下山巷道超前疏放相邻采空区积水的，在查明采空区积水范围、积水标高等情况后，可以实行限压（水压小于0.1MPa）循环放水，但必须制定专门措施由煤矿总工程师审批。
A. 对
B. 错
【判断题】
矿井应当根据地质构造、水文地质条件、煤层赋存条件、围岩物理力学性质、开采方法及岩层移动规律等因素确定相应的防隔水煤（岩）柱的尺寸。防隔水煤（岩）柱的尺寸不得小于30m。
A. 对
B. 错
