门| GATE-CS-2009 |第 60 题

以上两个哪个是等价的?
(A) I 和 III
(B) I 和 IV
(C) II 和 III
(D) II 和 IV答案：(乙)
解释：

根据全称限定词和存在量词的否定性质

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