Logical quantifiers are symbols that tell how many objects in a set a statement is about. The universal quantifier ∀ means a statement applies to every object in a domain, while the existential quantifier ∃ means at least one object makes the statement true. Quantifiers are essential in algebra, number theory, calculus, proofs, and computer science because they make mathematical claims precise.
Learning them helps students read definitions, prove theorems, and spot hidden assumptions.
Key Facts
- ∀x in D, P(x) means P(x) is true for every x in the domain D.
- ∃x in D such that P(x) means there is at least one x in D for which P(x) is true.
- Negation rule: not(∀x P(x)) is equivalent to ∃x not P(x).
- Negation rule: not(∃x P(x)) is equivalent to ∀x not P(x).
- A universal statement is false if one counterexample exists.
- The order of mixed quantifiers matters: ∀x ∃y P(x,y) is usually not the same as ∃y ∀x P(x,y).
Vocabulary
- Universal quantifier
- The symbol ∀, read as for all, states that a predicate is true for every element in a specified domain.
- Existential quantifier
- The symbol ∃, read as there exists, states that a predicate is true for at least one element in a specified domain.
- Domain
- The domain is the set of objects that a quantified variable is allowed to represent.
- Predicate
- A predicate is a statement with a variable that becomes true or false when the variable is given a value.
- Counterexample
- A counterexample is a specific value that makes a universal statement false.
Common Mistakes to Avoid
- Ignoring the domain, which is wrong because the truth of a quantified statement depends on what values the variable is allowed to take.
- Negating ∀x P(x) as ∀x not P(x), which is wrong because the correct negation is ∃x not P(x).
- Negating ∃x P(x) as ∃x not P(x), which is wrong because the correct negation is ∀x not P(x).
- Switching the order of mixed quantifiers, which is wrong because ∀x ∃y can describe a different situation than ∃y ∀x.
Practice Questions
- 1 Let the domain be {1, 2, 3, 4, 5}. Determine whether ∀x, x + 1 ≤ 6 is true or false.
- 2 Let the domain be all integers. Determine whether ∃n such that n^2 = 49 and n < 0 is true or false, and give a value if it is true.
- 3 Explain in words the difference between ∀x ∃y such that y > x and ∃y ∀x such that y > x when the domain is all real numbers.