Why does one counterexample disprove a conjecture?

This is because, in general, a conjecture is typically worded "Such-and-such is true for all values of [some variable]." So, a single counter-example disproves the "for all" part of a conjecture.

However, if someone refined the conjecture to "Such-and-such is true for all values of [some variable] except those of the form [something]." Then, this revised conjecture must be examined again and then can be shown true or false (or undecidable--I think).

For many problems, finding one counter-example makes the conjecture not interesting anymore; for others, it is worthwhile to check the revised conjecture. It just depends on the problem.


A statement that

every $x$ with property $P$ also has property $Q$

is clearly disproved if one finds an object with property $P$ but not property $Q$. It takes only one such example to prove that the every is incorrect. If the conjecture were that

all but at most finitely many $x$ with property $P$ have property $Q$,

then of course one counterexample would not refute the conjecture: one would need to produce infinitely many counterexamples. But that would be a different conjecture.


Conjectures are usually proposed about some set of objects belonging to some set or domain, objects which are clearly identified. Let's call this domain $D$.

The conjecture about $x \in D$ includes some property $P(x)$ that is claimed to hold for all $x$ in the Domain D.

So at its simplest, interesting conjectures are of the form

$$\forall x (x \in D \implies P(x)\tag{$\dagger$}$$

Then we let the refutation begin! A conjecture $(\dagger)$ is proposed, and mathematicians begin the fun work of attempting to prove or disprove it.

All it takes to successfully refute $\dagger$ is to find a counterexample: an $x \in D$ such that $P(x)$ fails to hold. The negation of a universally qualified statement like $(\dagger)$ is a statement of the form:

$$\exists x(x\in D \land \lnot P(x))$$

That's it.

What happens then depends on the significance of the conjecture:

Given a conjecture that (many) mathematicians find fascinating, work rarely stops when one counterexample disproves a conjecture that some property holds for all $x$ meeting some criteria. The criteria may simply be refined, by revising $P(x)$ or by introducing additional restrictions on the domain.

Then more effort is made to test the refined conjecture's veracity.

This process often continues until enough qualifications and exceptions are introduced to the extent that the conjecture becomes too uninteresting to modify further.

The process never ends, though. When one problem becomes uninteresting, then mathematicians propose, or wait to pounce upon, other interesting conjectures.