A professor announces: 'Every student in this class who earned over 100 points on the final exam will receive an A+.' No student earned over 100 points. Is the professor's statement true or false?
AFalse — no one receives an A+, so the promise was not fulfilled
BTrue — the statement is vacuously true because no student satisfies the hypothesis
CUndefined — the statement has no truth value when no one satisfies the condition
DFalse — universal statements require at least one case that satisfies the hypothesis to be true
The statement 'for all x, if P(x) then Q(x)' is vacuously true when no x satisfies P(x). The professor made a conditional promise: IF a student earned over 100 points THEN they get an A+. Since no student satisfies the 'if' part, the promise was never triggered, and no counterexample can arise. The statement is genuinely true — not meaningless, not undefined. Options C and D reflect the misconception that vacuous truth is somehow illegitimate or requires positive instances.
Question 2 Multiple Choice
Which of the following is an example of a trivial proof rather than a vacuous truth argument?
AProving 'for all x in ∅, x² ≥ 0' by noting that no element of ∅ exists to violate the claim
BProving 'if n is an odd integer, then n² ≥ 0' by observing that n² ≥ 0 holds for all real numbers regardless of oddness
CProving 'every prime greater than 1,000,000 is odd' by exhaustive case analysis
DProving that the base case holds in an induction by constructing a specific numerical example
A trivial proof occurs when the conclusion is always true regardless of the hypothesis — the hypothesis becomes irrelevant. 'If n is odd, then n² ≥ 0' is trivial because n² ≥ 0 holds for all real numbers; the oddness plays no role. A vacuous argument (option A) works differently: the hypothesis is never satisfied, so no counterexample can arise. In trivial proofs the conclusion is always true; in vacuous proofs the hypothesis is never true.
Question 3 True / False
The statement 'nearly every element of the empty set is a prime number' is logically problematic because it assigns a mathematical property to nonexistent elements.
TTrue
FFalse
Answer: False
The statement is vacuously true and logically unproblematic. A universal claim 'for all x in S, P(x)' is true when S = ∅ because there is no element that could violate it — no counterexample exists. Far from being problematic, this is a precise and useful feature of predicate logic. Ignoring vacuous cases when proving universal statements is a source of hidden errors; treating them as logically problematic misunderstands how universal quantification works.
Question 4 True / False
In a proof by induction, the base case is sometimes handled by vacuous truth when the statement quantifies over an empty initial set.
TTrue
FFalse
Answer: True
When the base case of an inductive argument involves an empty collection — for instance, proving a property holds for all subsets of a set when the base case is the empty set — vacuous truth handles it directly. No element of the empty set violates the property, so the universal claim holds trivially. This is not cheating; it is an instance of the standard logical treatment of universal statements over empty domains.
Question 5 Short Answer
Explain why 'every unicorn in this room is purple' is a true statement, and why this does NOT mean the statement is meaningless or logically suspect.
Think about your answer, then reveal below.
Model answer: The statement is a universal conditional: for every x, if x is a unicorn in this room, then x is purple. Since there are no unicorns in the room, the hypothesis is never satisfied and no counterexample can arise — the statement is vacuously true. It is not meaningless because it makes a genuine logical commitment: it would be falsified if a non-purple unicorn appeared. The statement is also not logically suspect because formal logic defines the truth of universal conditionals precisely this way: a universal claim about an empty domain is true, not undefined. The appearance of strangeness comes from natural language intuitions about 'for all' — formal logic is more precise.
Vacuous truth matters in mathematics because universal statements about sets frequently face the edge case of an empty set. Treating these as meaningless or automatically false would break proofs about general collections. The correct treatment — vacuously true — is both logically consistent and mathematically productive.