门| GATE-CS-2009 |第60章

以上两个中的哪一个等效?
(A) I和III
(B)我和四
(C) II和III
(D) II和IV答案： (B)
解释：

根据通用限定词和存在量词的取反性质

$\neg \forall x \epsilon X P(x) \equiv \exists x \epsilon X \neg P(x)$这个问题的测验