GATE | GATE-CS-2009 | Question 60

CSE_2009_26

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)

Explanation:

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 contribute@geeksforgeeks.org to report any issue with the above content.