Every conditional statement P → Q has three related forms. The converse swaps hypothesis and conclusion: Q → P. The inverse negates both: ¬P → ¬Q. The contrapositive negates and swaps: ¬Q → ¬P. The critical fact: a conditional and its contrapositive are always logically equivalent (they are true in exactly the same situations), but a conditional and its converse are not. Confusing a statement with its converse is one of the most common logical errors in everyday reasoning.
Start with a concrete conditional: "If it is a dog, then it is a mammal." Write out all four forms explicitly. Converse: "If it is a mammal, then it is a dog" — clearly false (cats are mammals too). Inverse: "If it is not a dog, then it is not a mammal" — also false. Contrapositive: "If it is not a mammal, then it is not a dog" — true, just like the original. Build a table of several examples and let students discover the equivalence pattern themselves.
Every conditional statement "If P, then Q" generates three related statements by negating and/or swapping its parts. Understanding which of these are equivalent — and which are not — is fundamental to logical reasoning and proof.
Start with a concrete example. Original: "If a shape is a square, then it has four sides." This is clearly true. Now form the three variants. The converse swaps P and Q: "If a shape has four sides, then it is a square." This is false — a rectangle has four sides but is not a square. The inverse negates both: "If a shape is not a square, then it does not have four sides." Also false — a triangle is not a square and does not have four sides, but a rectangle is not a square and does have four sides. The contrapositive negates and swaps: "If a shape does not have four sides, then it is not a square." This is true — you cannot be a square without four sides.
The pattern that emerges is the most important takeaway: a conditional and its contrapositive are always logically equivalent. They are true in exactly the same situations and false in exactly the same situations. Meanwhile, the converse and inverse are equivalent to each other — but neither is equivalent to the original. This is not a coincidence for certain examples; it is a logical law that holds for every conditional statement, no matter what P and Q are.
Why does this matter practically? Because people constantly confuse a statement with its converse in everyday reasoning. "If you work hard, you will succeed" does not mean "if you succeeded, you must have worked hard" (luck exists). "If a food contains peanuts, it is dangerous for people with peanut allergies" does not mean "if a food is dangerous for people with peanut allergies, it contains peanuts" (other allergens exist). Every time someone makes this swap without justification, they commit the fallacy of affirming the consequent. Recognizing the asymmetry between a conditional and its converse is one of the most practically useful things logic teaches.
The contrapositive equivalence, on the other hand, is a powerful proof tool. To prove "If P, then Q," you can equivalently prove "If not Q, then not P." Sometimes the contrapositive direction is much easier to prove. For example, proving "if n² is even, then n is even" is tricky to do directly — but the contrapositive, "if n is odd, then n² is odd," is straightforward (odd × odd = odd). You will use this technique extensively when you study proof strategies.