The equivalence of ¬∃x Q(x) is:
(A) ∃x ¬Q(x)
(B) ∀x ¬Q(x)
(C) ¬∃x ¬Q(x)
(D) ∀x Q(x)
Answer: (B)
Explanation: This is simple property for negating Quantified,
¬∃x Q(x) = ∀x ¬Q(x)
So, option (B) is correct.
Quiz of this Question
Article Tags :
Recommended Articles