Counterexample

Definitionnoun

What is a counterexample in math?

A counterexample is a single example that shows a general statement is false. It fits all the conditions of the statement but does not have the claimed result. To disprove ‘every prime number is odd,’ one counterexample is enough: 2 is prime and even. Examples that agree with a claim never prove it, but one counterexample disproves it.

In Spanish
contraejemplo
Also called
counter example, counter-example
Grade level
Geometry
Grade 8Algebra 1GeometrySATACTGEDPraxis

Counterexample in a picture

Two counterexamplesTop: the claim every prime number is odd. Tiles 3, 5, 7, 11 and 13 are prime and odd, marked with checks, but the tile 2 is prime and even, marked with a cross: one counterexample makes the claim false. Bottom: the claim a quadrilateral with 4 equal sides is a square, disproved by a rhombus with 4 equal sides and no right angles, where the hypothesis is true and the conclusion false.Claim: every prime number is odd.3odd ✓5odd ✓7odd ✓11odd ✓13odd ✓2even ✗2 is prime but even: one counterexample, claim falseClaim: a quadrilateral with 4 equal sides is a square.rhombus: 4 equal sides,no right angleshypothesis trueconclusion falsecounterexample
Agreeing examples, however many, cannot prove an all statement. One case that meets the condition and breaks the conclusion is enough to sink it.

Formal definition and notation

For a statement of the form ‘for every x with property P, property Q holds,’ a counterexample is a specific x for which P(x) is true and Q(x) is false. For a conditional ‘if P, then Q,’ it is a case with a true hypothesis and a false conclusion. Producing one counterexample proves that the general statement is false.

Symbol Read it as Meaning
∀ x for all x a universal claim; a counterexample targets this kind of statement
P ⇒ Q if P, then Q a counterexample makes P true and Q false

Key facts

  • A counterexample must satisfy the hypothesis. To disprove ‘if n is even, then n is divisible by 4,’ the number 6 works; the number 7 does not, because 7 is not even.
  • Good places to look: 0, 1, 2, negative numbers, fractions, and special shapes such as squares, rhombuses or right triangles.
  • One counterexample is enough to disprove an all statement. No number of agreeing examples proves it; that takes a proof.
  • A statement can be true while its converse is false: ‘every square is a rectangle’ is true, but a 3-by-5 rectangle is a counterexample to ‘every rectangle is a square.’
  • Counterexamples also show that an algebra step is invalid: (a + b)2 = a2 + b2 fails for a = b = 1, since 4 ≠ 2.

Counterexample examples, step by step

Example 1: Number claim

Warm-up

Find a counterexample to: ‘The square of any number is greater than the number.’

  1. Try a number between 0 and 1: x = 12.
  2. (12)2 = 14.
  3. 14 < 12, so the square is smaller.

Answer: x = 12 is a counterexample: its square, 14, is smaller. (0 and 1 also work, since their squares are equal to them.)

Example 2: Algebra rule

Core

Is √a + b = √a + √b always true? Test a = 9, b = 16.

  1. Left side: √9 + 16 = √25 = 5.
  2. Right side: √9 + √16 = 3 + 4 = 7.
  3. 5 ≠ 7, so the rule fails.

Answer: No. a = 9, b = 16 is a counterexample: the left side is 5 and the right side is 7.

Example 3: Which choice is a counterexample?

Test-style

Statement: ‘If a number is divisible by 3, then it is divisible by 6.’ Which is a counterexample: 12, 9, 10 or 18?

  1. A counterexample must be divisible by 3 (hypothesis true) but not by 6 (conclusion false).
  2. 12 and 18 are divisible by both 3 and 6: they agree with the statement.
  3. 10 is not divisible by 3, so it does not test the statement.
  4. 9 is divisible by 3, and 9 ÷ 6 = 1.5 is not a whole number.

Answer: 9 is the counterexample.

Common mistakes

✗ MistakeUsing 7 to disprove ‘if n is even, then n2 is even’ because 72 = 49 is odd.
✓ Instead7 is not even, so it does not test the statement. In fact no counterexample exists: the statement is true.

A counterexample must satisfy the if part. Otherwise it says nothing about the claim.

✗ MistakeClaiming ‘the sum of two primes is even’ is true because 3 + 5, 5 + 7 and 11 + 13 are even.
✓ Instead2 + 3 = 5 is odd, a counterexample. The claim is false.

Checking examples that agree is not proof; you have to look for the case that breaks it, here the even prime 2.

✗ MistakeThinking you need several counterexamples to disprove a claim.
✓ InsteadOne valid counterexample is enough: 2 alone disproves ‘all primes are odd.’

An all statement must hold in every case, so a single failure makes it false.

Not to be confused with

Counterexamplevs.Example

An example agrees with a statement and supports it; a counterexample breaks it. For ‘all primes are odd,’ 7 is an example and 2 is a counterexample.

Counterexamplevs.Proof

A proof shows a statement is true in every case. A counterexample shows a statement is false by giving one case where it fails.

Quick check: 3 questions

Question 1 of 3

Which number is a counterexample to ‘every odd number is prime’?

Show answer and explanation

Answer: B. 9 is odd but 9 = 3 × 3, so it is not prime. 7 and 11 are odd and prime, so they agree with the claim, and 2 is not odd, so it does not test it.

Question 2 of 3

Which value of x is a counterexample to ‘x2 > x for every positive x‘?

Show answer and explanation

Answer: D. 0.42 = 0.16, which is less than 0.4. 2 and 10 agree with the claim, and −3 is not positive, so it does not satisfy the hypothesis.

Question 3 of 3

Which figure is a counterexample to ‘if a quadrilateral has four right angles, then it is a square’?

Show answer and explanation

Answer: A. A 2-by-6 rectangle has four right angles but is not a square. A square agrees with the claim, and the rhombus and trapezoid do not have four right angles, so they do not test it.

Counterexample: frequently asked questions

How many counterexamples do you need to disprove a statement?

Just one. A general statement claims something is true in every case, so a single case where the conditions hold and the result fails makes the statement false. For example, 2 + 3 = 5 alone disproves ‘the sum of any two primes is even.’ Adding more counterexamples is fine but proves nothing extra.

Can a counterexample prove a statement is true?

No. A counterexample can only show that a statement is false. To show a statement is true for every case, you need a proof, a general argument. If you search hard and find no counterexample, that is a hint the statement might be true, which is called a conjecture, not a proof.

How do you find a counterexample?

First list what the hypothesis requires, then try unusual cases that still meet it: 0, 1, 2, negative numbers, fractions between 0 and 1, very large numbers, or special shapes like a square or a long thin rectangle. Check each one against the conclusion. The first case that meets the hypothesis but fails the conclusion is your counterexample.

Practice and tools

Sources

  1. Wolfram MathWorld, Counterexample
  2. Morris and Morris, Proofs and Concepts, 2.7 Counterexamples (Mathematics LibreTexts)

Updated November 2026·Reviewed by the Effortless Math team·Standards: n/a

Cite this entry

Effortless Math Team. “Counterexample.” Effortless Math Dictionary. Updated November 2026. https://www.effortlessmath.com/math-dictionary/counterexample/

Flashcard

TermCounterexampleone case that breaks a rule
DefinitionAn example that meets a statement’s conditions but not its conclusion, proving it false. 2 is a counterexample to ‘all primes are odd.’
Study the full deck

Browse all terms in the Math Dictionary · More geometry terms · Random term