The negation of ∀x P(x) is ∃x ¬P(x), and the negation of ∃x P(x) is ∀x ¬P(x). These laws connect universal and existential quantifiers through negation and are fundamental for proof by contradiction and for understanding when statements are false.
Practice converting between a statement and its negation. Use concrete examples to verify the laws. Understand why ¬(all are true) is equivalent to (at least one is false).
From your study of universal and existential quantifiers, you know that ∀x P(x) claims P holds for every element in the domain, while ∃x P(x) claims P holds for at least one element. Negating these statements requires more care than just placing a ¬ in front: you need to understand what it means for the original claim to be *false*, and the answer is not symmetric.
The universal negation law says ¬(∀x P(x)) ≡ ∃x ¬P(x). Think about it in plain English: the claim "all ravens are black" is false if and only if there exists at least one raven that is not black. You don't need to show every raven fails — one counterexample is enough to defeat a universal claim. So the negation doesn't just add a ¬ to P; it also flips the quantifier from ∀ to ∃. The existential negation law works in the other direction: ¬(∃x P(x)) ≡ ∀x ¬P(x). "There exists a perfect square greater than 100 that is odd" is false means: for every perfect square greater than 100, it is not odd. To refute an existence claim, you must rule out every candidate — which is a universal statement.
A common error is to write ¬(∀x P(x)) as ∀x ¬P(x), which says "nothing satisfies P." But that's much stronger than the negation requires. If even one element satisfies P, the original ∀x P(x) is false — you don't need all of them to fail. Similarly, ¬(∃x P(x)) is not ∃x ¬P(x): the latter only says "something fails P," not that "everything fails P." The rule is: negation pushes in and flips the quantifier, one quantifier at a time.
For nested quantifiers, apply the rule repeatedly, from the outside in. The statement ∀x ∃y P(x,y) has negation ∃x ∀y ¬P(x,y): the ∀ flips to ∃, then the ∃ flips to ∀, and ¬ ends up on P. This process matters enormously for proof by contradiction and contrapositive: to prove ∀x P(x) by contradiction, you assume ∃x ¬P(x) and derive a contradiction. To disprove ∃x P(x), you prove ∀x ¬P(x). Getting the negation right isn't a formality — it determines which proof strategy you pursue and whether your argument has the correct logical structure.