What a Counterexample Does
A free Logic lesson from the “Counterexamples, Sets, and Diagrams” unit, with a worked example and practice problems including step-by-step solutions.
To disprove a universal implication, choose an object inside the stated domain that satisfies its hypothesis but violates its conclusion. A failed example outside the domain is irrelevant. Many successful examples suggest a claim but do not prove it for an unlimited domain.
What you'll learn
- Explain how one example can disprove a universal claim
- Explain the idea in plain English before using symbols
- Use examples, non-examples, or counterexamples to check the reasoning
Worked example
Problem. Which integer disproves “Every multiple of 22 is a multiple of 44”?
- 22 satisfies the hypothesis but is not divisible by 44.
Answer: 22
Lesson preview: this page shows 5 practice items. The interactive activity contains 6 practice items and 6 quiz items (multiple choice). Counts include repeated prompts and variants.
Practice problems
1. Which integer disproves “Every multiple of 7 is a multiple of 14”?
Choices: 28 · 42 · 7 · 14
Show solution
- 7 satisfies the hypothesis but is not divisible by 14.
Answer: 7
2. Which value disproves “Every odd positive integer is prime”?
Choices: 7 · 9 · 3 · 5
Show solution
- 9 is odd, positive and composite because 9=3×3.
Answer: 9
3. Which real x disproves x²=x for every real x?
Choices: 7 · 0 · 1 · Both 0 and 1
Show solution
- 7²=49, which is not 7.
- Both 0 and 1 actually satisfy the equation.
Answer: 7
4. A claim concerns all integers greater than 10. A proposed counterexample is 8. Why is it invalid?
Choices: A counterexample must be prime · A counterexample must prove the conclusion · One example can never disprove a universal claim · It does not satisfy the hypothesis
Show solution
- A counterexample must belong to the stated domain and satisfy the setup.
Answer: It does not satisfy the hypothesis
5. A student checks 100 squares and observes four equal sides. Does this alone prove every square has four equal sides?
Choices: No; squares do not have equal sides · Yes; a diagram proves every case · No; use the definition to establish the universal claim · Yes; 100 examples always prove a theorem
Show solution
- Finite examples do not by themselves prove an unbounded universal claim.
- The definition supplies the general justification here.
Answer: No; use the definition to establish the universal claim
Practice this interactively with instant feedback and an AI tutor.
Practice What a Counterexample Does Take the free placement check