Counterexample

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

A counterexample is a single case that shows a general statement isn’t true. If someone says “All X are Y,” finding one X that isn’t Y disproves it. Counterexamples are used in math and philosophy to test and refine ideas.

Example: All rectangles are squares. A rectangle with sides 5 and 7 isn’t a square, so the statement is false. A weaker but true claim is “All rectangles have four sides.” This is true, but not as strong as the original. To see which parts of a claim matter, we can add conditions. Suppose the claim is “All shapes that are rectangles and have four sides of equal length are squares.” We must test each part: is it true if we drop “rectangle” or if we drop “four equal sides”? A non-square rhombus (four equal sides, not a rectangle) shows that dropping either condition can fail. So both parts are needed for the original claim.

Other quick examples:
- “All prime numbers are odd.” The number 2 is a counterexample.
- “Every natural number is either prime or composite.” The number 1 is a counterexample.
- Euler’s sum of powers conjecture was disproved in 1966 (a counterexample for n = 5, with more found later).
- In control theory, Witsenhausen’s counterexample shows a simple rule isn’t always optimal.
- In geometry, every isometry preserves area, but not every area-preserving map is an isometry (examples like shear and squeeze show this).

Many famous math conjectures have been disproved by counterexamples, including Seifert’s, Pólya’s, Hilbert’s fourteenth problem, Tait’s, and Ganea’s conjectures.

In philosophy, counterexamples show a claim fails in some cases. For example, in Plato’s Gorgias, Socrates offers a counterexample to Callicles’ claim that the strong should rule. Callicles might then revise his claim—perhaps limiting it to individuals or changing “stronger” to “wiser.”