Finding Counterexamples
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
- Search systematically for cases that make a claim false
- 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 25 is a multiple of 50”?
- 25 satisfies the hypothesis but is not divisible by 50.
Answer: 25
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 10 is a multiple of 20”?
Choices: 20 · 40 · 60 · 10
Show solution
- 10 satisfies the hypothesis but is not divisible by 20.
Answer: 10
2. Which value disproves “Every odd positive integer is prime”?
Choices: 5 · 7 · 9 · 3
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: Both 0 and 1 · 10 · 0 · 1
Show solution
- 10²=100, which is not 10.
- Both 0 and 1 actually satisfy the equation.
Answer: 10
4. A claim concerns all integers greater than 10. A proposed counterexample is 8. Why is it invalid?
Choices: It does not satisfy the hypothesis · A counterexample must be prime · A counterexample must prove the conclusion · One example can never disprove a universal claim
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: Yes; 100 examples always prove a theorem · No; squares do not have equal sides · Yes; a diagram proves every case · No; use the definition to establish the universal claim
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 Finding Counterexamples Take the free placement check