All mock tests are FREE till 31 December — register to save your progress

The equivalence of ¬∃x Q(x) is

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: B. ∀x ¬Q(x)

Explanation

No x satisfies Q ⇔ every x fails Q: ¬∃x Q(x) ≡ ∀x ¬Q(x).

More Discrete Structures and Optimization questions