题目内容

$设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)) $

$表达式\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) $

答案查题题库