设C():x是国家级运动员,G();x是健壮的,则命题"没有一个国家级运动员不是健壮的"可符号化为()
A. ¬∀x(C(x)∧¬G(x))
B. ¬∀x(C(x)→¬G(x))
C. ¬∃x(C(x)→¬G(x))
D. ¬∃x(C(x)∧¬G(x))
查看答案
表达式∀x(P(x,y)∨Q())∧∃y(R(x,y)→∀Zq())中∀x的辖域是()
A. P(x,y)
B. P(x,y)∨Q(z)
C. R(x,y)
D. P(x,y)∧R(x,y)
集合A上的偏序关系不具备的性质是( )
A. 自反性
B. 对称性
C. 传递性
D. 反对称性
集合A上的等价关系不具备的性质是(
A自反性
B. 对称性
C. 传递性
D. 反对称性
以下是集合A上的既是等价关系又是偏序关系的一个例子。( )
A上的整除关系
B. A上的恒等关系
C. A上的小于等于
D. A上的全域关系