$设A, B为集合,当A – B =\varnothing,有() ?$
A. $B \neq \varnothing $
B. $ A \subseteq B $
C. $ B \subseteq A $
D. $ B = \varnothing $
$\forall xA(x) \vee A(y)是命题 $
A. 错误
B. 正确
$ 设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)) $