$\forall xA(x) \vee A(y)是命题 $
查看答案
$ 设P,Q,R是命题公式,且P \Rightarrow Q,则有P\wedge R \Rightarrow Q \wedge R$
A. 错误
B. 正确
$下列给出的一阶逻辑等价式中,()是错误的 $
A. $ \exists x(A(x) \vee B(x)) \Leftrightarrow \exists x A(x) \vee \exists x B(x) $
B. $ \forall x(A(x) \vee B(x)) \Leftrightarrow \forall x A(x) \vee \forall x B(x) $
C. $ \neg \forall x A(x) \Leftrightarrow \exists x(\neg A(x)) $
D. $A \rightarrow \forall x B(x) \Leftrightarrow \forall x(A \rightarrow B(x)) $
$表达式\forall x(P(x, y) \vee Q(z)) \wedge \exists y(R(x, y) \rightarrow \forall z Q(z))中\forall x的辖域是( ) $
A. $P(x,y) $
B. $P(x,y) \vee Q(z) $
C. $R(x, y) $
D. $P(x,y) \wedge R(x,y) $
$设C(x): x是国家级运动员,G(x); x是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为( ). $
A. $\neg \forall x(C(x) \wedge \neg G(x)) $
B. $\neg \forall x(C(x) \rightarrow \neg G(x)) $
C. $ \neg \exists x(C(x) \rightarrow \neg G(x)) $
D. $\neg \exists x(C(x) \wedge \neg G(x)) $
微信支付 
支付宝支付