GATE | GATE-CS-2009 | Question 60


Which of the above two are equivalent?
(A) I and III
(B) I and IV
(C) II and III
(D) II and IV

Answer: (B)


According to negation property of universal qualifier and existential quantifier

 \neg \forall x \epsilon X P(x) \equiv \exists x \epsilon X \neg P(x)

Quiz of this Question

My Personal Notes arrow_drop_up
Article Tags :

Be the First to upvote.

Please write to us at to report any issue with the above content.