Contrapositive vs Converse — The Swap That Secretly Changes the Theorem

You prove "if n^2 is even, then n is even." Your argument: "Suppose n is even. Then n = 2k, so n^2 = 4k^2 = 2(2k^2), which is even." You write QED and move on.

Look again. What did you actually prove? You assumed n is even and derived that n^2 is even — that is "if n is even, then n^2 is even." That is the converse of what was asked, not the contrapositive. And the converse is a different theorem.

The correct contrapositive argument would have assumed "n is odd" (the negation of the conclusion) and shown that "n^2 is odd." Close, but not the same. This swap — contrapositive with converse — is one of the most common invisible mistakes in introductory proof writing, because the words are similar, the symbols rhyme, and the wrong argument looks completed.

The two very different statements

Given the implication "if P, then Q":

Contrapositive: "if \lnot Q, then \lnot P." Logically equivalent to the original — proves the same theorem.
Converse: "if Q, then P." A different statement — may be true or false independently.

The symbols are only one negation-pair apart, but the meaning changes completely. The contrapositive is a safe rewrite; the converse is a new claim.

Why the mistake feels invisible

Three reasons students confuse the two:

Both start by swapping hypothesis and conclusion. The contrapositive also swaps and negates. The converse is just the swap. If you habitually "swap and forget to negate," you have produced the converse while believing you produced the contrapositive.
The names are almost interchangeable in everyday English. "Converse" and "contrary" and "contrapositive" all suggest some kind of flip. Without a hard mental rule, people reach for whichever feels synonymous with "opposite."
For many natural-language examples, the converse happens to be true, so the wrong proof still produces a true-looking statement. You prove "if n even then n^2 even" (true), announce you have proved "if n^2 even then n even" (also true), and get away with it. The argument was wrong; the conclusion was right.

Why this is a real logical error: proving the converse does not prove the original. If you had been asked to prove a case where the original is true but the converse is false, your wrong method would produce a wrong answer. The error just happens to go undetected when both the original and the converse are true — a coincidence that masks the bug.

A concrete counter-example that exposes the swap

Consider the implication: "If n = 6, then n is even."

Original: n = 6 \Rightarrow n is even. True.
Contrapositive: n is odd \Rightarrow n \neq 6. True.
Converse: n is even \Rightarrow n = 6. False — take n = 4.

If you were asked to prove the original and instead proved the converse, your proof would claim "every even number is 6" — blatantly false. The swap-and-forget mistake is now visible, because the converse is no longer accidentally true.

This is the test to run whenever you doubt your setup: can you find a case where the original is true but the converse is false? If the converse is false in your context and you unknowingly proved it, you have proved nothing. If the converse happens to be true as well, your "proof" is still wrong but accidentally lands on a true statement.

How to catch yourself mid-proof

When you begin a proof, write the first two lines in a fixed format:

"Assume [the hypothesis]."
"We will show [the conclusion]."

Check that the hypothesis you assumed is the hypothesis of the contrapositive, not the conclusion.

If the statement to prove is "P \Rightarrow Q" and you are doing a contrapositive proof, the hypothesis of the contrapositive is "\lnot Q" — the negation of the original conclusion.
If you wrote "Assume Q" (the unnegated conclusion), you are about to prove the converse. Stop.

This one-line diagnostic catches the error instantly. It turns the invisible swap into something you see on paper.

A memory aid

Contrapositive: against — the contrapositive is against both sides. It negates both the hypothesis and the conclusion (and swaps them). The "contra" prefix reminds you that negation is involved.
Converse: with, same direction. The converse just swaps — no negation. The "con" prefix is the same as in "conversation" or "conversion" — it is about turning around, not about negating.

If you can remember that "contra" involves a negation and "con" does not, you are most of the way to distinguishing them. The four-form carousel makes this precise — see Converse, Inverse, Contrapositive — The Four-Form Carousel.

The two-word fix

Whenever you are about to write a proof by contrapositive, state the contrapositive explicitly in a single sentence before you begin: "By the contrapositive, it suffices to prove: if [negated conclusion], then [negated hypothesis]."

Writing that sentence forces you to see the two negations. If you catch yourself writing "if Q then P" — no negations at all — you have accidentally targeted the converse. Stop and rewrite with the negations in place.

That is the fix. Two words — "By the contrapositive" — followed by the explicit negated form. Students who get into this habit almost never make the swap mistake again, because the habit forces the correct setup.