The Half-Negation Slip — Writing 'If Q then P' Instead of 'If ¬Q then ¬P'

A student is asked to prove a statement by contrapositive. They write:

Proof (by contrapositive). Suppose Q. We will show P.

Stop. That is not the contrapositive. That is the converse — written down with a label that says contrapositive. The student swapped the hypothesis and conclusion but forgot to negate both parts. This is one of the most frequently documented errors in introductory proof classes, and it is almost invisible to the person making it because the word "contrapositive" has already been written — so the brain thinks it has happened.

This page is about diagnosing the slip, repairing it, and installing a habit that prevents it.

What the slip looks like

The contrapositive of "if P then Q" is "if \lnot Q then \lnot P." Two operations apply:

Swap — Q moves to the front, P to the back.
Negate — both get a "not" stuck on them.

The half-negation slip performs step 1 and skips step 2. What comes out is "if Q then P" — the converse. The student still calls it "the contrapositive" because they meant to do both, but the negations never made it onto the page.

Put the two candidate rewrites side by side:

What the student wrote: Q \Rightarrow P.
What the contrapositive actually is: \lnot Q \Rightarrow \lnot P.

The difference is two negations. Two tiny symbols. Enormous logical consequences.

Why the slip is so common

Three factors make this error easy and hard to notice.

First, "contrapositive" and "converse" sound synonymous in ordinary English. Both suggest flipping or reversing. If you only half-remember the distinction, you default to "swap" — which is what the converse is.

Second, the swap is the visible operation. When you write the new implication, swapping the positions of P and Q is a big gesture on the page. Adding two "not" symbols is a tiny gesture. The brain thinks: I did the big gesture, so I did the work.

Third, in many introductory examples the converse happens to be true. If you swap "if n is even then n^2 is even" you get "if n^2 is even then n is even" — which is true (even though you proved the wrong direction). If the grader also has their guard down, the error sails through. The wrong method lands on a true statement by coincidence, and no alarm sounds.

Why the coincidence is dangerous: proving the converse does not establish the original. If the grader hands you a problem where the original is true but the converse is false, your swap-only "proof" will argue for a false statement. You will be unambiguously wrong, not accidentally right. The method is the problem; the coincidence just hides the problem until an unforgiving example shows up.

The half-negation slip in a real proof

Here is how the error reads when it appears in a student proof of "If n^2 is even, then n is even."

Proof (by contrapositive). Suppose n is even. Then n = 2k for some integer k. So n^2 = 4k^2 = 2(2k^2), which is even. Hence if n^2 is even, then n is even. \square

Read the first line of the proof carefully. The student says "by contrapositive" and then assumes n is even. But the contrapositive of "if n^2 is even, then n is even" is "if n is odd, then n^2 is odd." The correct first line would be "Suppose n is odd." The student assumed the unnegated conclusion, not the negated conclusion. They proved the converse — "if n is even, then n^2 is even" — and labelled it the contrapositive.

Accidentally, both the original and the converse happen to be true here, so the proof's ending line feels correct. But the chain of reasoning was wrong: it established a statement different from the one claimed at the end. If the grader is strict, this is a graded-down proof even though the conclusion is true. If the grader is very strict — or the problem has a converse that turns out to be false — this is a zero.

The one-line fix

Whenever you write "Proof by contrapositive," commit yourself on the next line to writing the full contrapositive in one sentence, before any reasoning:

By the contrapositive, it suffices to prove: if \lnot Q, then \lnot P.

Fill in the actual \lnot Q and \lnot P. That sentence forces you to compute both negations. If you try to write the line and find yourself writing "if Q, then P" — with no negations visible — you have caught yourself mid-error. Correct the line before continuing.

This discipline works because the slip survives on the fact that you never write the negations down. The swap is visible; the negations, if they happen at all, happen silently in your head. Writing the explicit negated form strips away the silence. You cannot complete that sentence without noticing whether you negated.

How to repair a proof that already has the slip

If you catch yourself mid-proof with the half-negation slip, the repair is almost mechanical:

Go back to the first line of the proof. Replace "suppose Q" with "suppose \lnot Q."
The rest of your work derives something from this hypothesis. Check whether you actually derived \lnot P or whether you derived Q (which would be useless) or P (which would mean you proved the converse, not the contrapositive).
If the rest of the work does not yield \lnot P from \lnot Q, the proof needs to be redone. The direction of reasoning was reversed; you cannot just fix the opening line and leave the body untouched.

This is why the fix is painful: a half-negation slip usually means the entire body of the proof was oriented around the converse, and redoing it from the start is the honest response. You cannot patch the error by editing a single word.

A memory device that sticks

The word contrapositive contains contra — "against." The "against" refers to the negations: you are turning both sides against themselves. If you produced a rewrite with no "against" (no negations), you produced the converse. If you produced a rewrite with only "against" (negations but no swap), you produced the inverse. Contrapositive requires both: the "contra" (negate) and the swap that turns it into a re-positioning ("positive" meaning placement here — think "positioned").

In practice: every time you attempt a proof by contrapositive, silently say "contra" (negate) and "positive" (swap). Both operations. Both visible. If only one of them shows up in your work, you have the wrong form.

The one habit that fixes this forever

Before writing the word "contrapositive" on paper, write the explicit contrapositive sentence:

If [negated conclusion], then [negated hypothesis].

Fill in the blanks with the concrete negated terms. Only after that line is on the page do you begin reasoning from the new hypothesis. Students who adopt this habit almost never make the half-negation slip, because the habit prevents the slip at its source — the moment when the negation step is silently skipped.