Quantifiers
'For all' says a claim holds for every member of a set. 'There exists' says it holds for at least one. Negating swaps one into the other.
Last updated
Analogy
'Every student passed' fails the moment one student fails. 'Some student passed' needs just one pass.
Example
For all x: x^2 >= 0 is true.There exists x: x^2 = -1 is false.Negation of 'for all x, x^2 > 0':there exists x with x^2 <= 0 (x = 0).
In practice
Limits, continuity and many definitions in calculus are nested quantifiers, so reading them correctly matters.
Practice
Flashcards
- How do you negate 'for all x, P(x)'?'There exists x such that P(x) is false.'
- What does one counterexample show?It disproves a 'for all' claim completely.
Questions people ask
How do you negate a statement with 'for all'?
Change 'for all' to 'there exists' and negate what follows. The opposite of 'every number in the list is positive' is 'some number in the list is zero or negative'. One counterexample is enough to break a 'for all' claim.
Does the order of quantifiers matter?
Yes, a lot. 'For every person there is a birthday' is fine, but 'there is one day that is every person's birthday' is false. In maths, 'for all x there exists y with y > x' is true over the reals, but swapping the quantifiers makes it false.