The misconception: "The converse and the contrapositive both flip the statement, so they must be roughly the same thing — maybe equivalent, maybe one is the shorter form."
No. The converse and the contrapositive are two different transformations. One of them gives you a logically equivalent statement. The other gives you a completely different theorem that can have an opposite truth value. Mixing them up is one of the most common silent errors in a first logic exam, and it is even more costly in proof writing, where swapping a contrapositive for a converse rewrites your theorem into a different claim altogether.
What each one does, stated precisely
Start with the implication p \Rightarrow q. The converse and the contrapositive are defined as:
- Converse: q \Rightarrow p — swap the hypothesis and the conclusion.
- Contrapositive: \lnot q \Rightarrow \lnot p — swap and negate both parts.
Why the extra negation matters: swapping alone sends you from "if p then q" to "if q then p" — two genuinely different claims about the world. Swapping and negating cancels the swap at the level of truth values: the new statement's F-row lines up with the original's F-row. That alignment is what makes the contrapositive equivalent to the original.
The truth-table proof of non-equivalence
Here is the side-by-side table for p \Rightarrow q, its converse, and its contrapositive:
| p | q | p \Rightarrow q | q \Rightarrow p (converse) | \lnot q \Rightarrow \lnot p (contrapositive) |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | T | F |
| F | T | T | F | T |
| F | F | T | T | T |
Compare column by column:
- The original and the contrapositive agree in every row: T, F, T, T. They are logically equivalent.
- The converse differs from the original in rows 2 and 3. It has T, T, F, T. A completely different pattern.
That single shifted F is the whole point. The contrapositive's F sits in the same place as the original's F. The converse's F has moved to row 3. So one formula tracks the original; the other does not.
A concrete sentence where the difference bites
Take the true statement: "If a quadrilateral is a square, then it has four right angles." Let p = "is a square", q = "has four right angles."
- Original (p \Rightarrow q): Every square has four right angles. True.
- Converse (q \Rightarrow p): Every quadrilateral with four right angles is a square. False. A non-square rectangle (say 4 \times 7) has four right angles and is not a square.
- Contrapositive (\lnot q \Rightarrow \lnot p): Every quadrilateral that does not have four right angles is not a square. True. If a shape is missing even one right angle, it cannot be a square.
The original and the contrapositive are both true. The converse is false. That is the converse being a different theorem, living on its own, sometimes agreeing with the original and sometimes disagreeing.
The "tempting" similarity — and why it is misleading
Students often say: "They both involve negation and swapping — how different can they be?" The contrapositive swaps and negates both parts. The converse only swaps. The difference is one operation (the double negation), and that one operation is exactly the one that preserves truth values.
Think of it as a dance: the original takes two steps. The converse takes one step. The contrapositive takes two steps — and ends up where the original started. One step is not half of two steps; it lands in a different room.
What this means for proofs
Proof by contrapositive is valid. If you want to prove p \Rightarrow q, you may instead prove \lnot q \Rightarrow \lnot p. The truth table guarantees the two are equivalent. Every step you take in the contrapositive proof is a legitimate step toward the original theorem. See Proof by Contrapositive for the full technique.
Proving the converse is a different theorem. If someone asks you to prove p \Rightarrow q and you instead prove q \Rightarrow p, you have proved something else. Your proof is correct — but it is a proof of the wrong statement. Whole exam answers are quietly wrong for this reason every year.
The rule of thumb for JEE and board problems: when you suspect you have proved the converse, flip your work and ask "does my proof start with the hypothesis of the stated theorem, or the conclusion?" If you started from the conclusion, you proved the converse.
The symmetric lurker: "converse is equivalent to inverse"
A related fact that occasionally helps: the converse q \Rightarrow p is logically equivalent to the inverse \lnot p \Rightarrow \lnot q. Both have the pattern T, T, F, T. So the four forms pair up into two equivalence classes: \{\text{original}, \text{contrapositive}\} and \{\text{converse}, \text{inverse}\}. The four-form carousel visualisation walks through this pairing.
Related: Logic and Propositions · Converse, Inverse, Contrapositive Carousel · Proof by Contrapositive · Implication as a Promise