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