A contrapositive is a rewording of an “if-then” statement where you flip the two parts and negate both of them. If the original statement is “If P, then Q,” the contrapositive is “If not Q, then not P.” The key reason this matters: a contrapositive is always logically equivalent to the original statement, meaning they are either both true or both false.
How to Form a Contrapositive
Every “if-then” statement has two parts. The “if” part is called the hypothesis, and the “then” part is the conclusion. To build the contrapositive, you do two things at once: swap their positions, and negate both.
Take the statement “If it is raining, then the ground is wet.” The contrapositive is “If the ground is not wet, then it is not raining.” Notice how the conclusion (“the ground is wet”) moved to the front and became negative, while the hypothesis (“it is raining”) moved to the back and also became negative. Both statements say the same thing logically. You can’t have rain without wet ground, and you can’t have dry ground during rain.
Here’s another example. Start with “If you are wearing a red hat, then the people next to you are smiling.” The contrapositive: “If the people next to you are not smiling, then you are not wearing a red hat.” Again, both versions carry the same logical meaning.
Why It’s Always Logically Equivalent
Two statements are logically equivalent when they produce the same true-or-false result in every possible scenario. You can verify this with a truth table, which tests every combination of the original parts being true or false. When you lay out all four possible combinations for “If P, then Q” and compare them to “If not Q, then not P,” the results match in every single row. There is no scenario where one is true and the other is false.
This isn’t just a technicality. It means you can always replace a statement with its contrapositive without changing its meaning. If someone proves the contrapositive is true, they’ve also proven the original statement is true. If the contrapositive is false, the original is false too.
Contrapositive vs. Converse vs. Inverse
People often mix up three related terms, so here’s how they differ. Starting from the original “If P, then Q”:
- Converse: Swap the two parts without negating. “If Q, then P.”
- Inverse: Negate both parts without swapping. “If not P, then not Q.”
- Contrapositive: Swap and negate both. “If not Q, then not P.”
Here’s the important part: the converse and inverse are not equivalent to the original statement. They can have different truth values. Consider “If x² = 4, then x = 2.” This statement is actually false, because x could be -2. The converse, “If x = 2, then x² = 4,” is true. So the original and its converse point in different directions.
The converse and the inverse are, however, equivalent to each other. They form their own pair, just as the original and the contrapositive form a pair. When you’re working through logic problems, keeping these pairs straight prevents a very common mistake: assuming that because a statement is true, its converse must be true as well.
Proof by Contrapositive
In mathematics, proof by contrapositive is a standard technique. Instead of proving “If P, then Q” directly, you prove “If not Q, then not P.” Because the two are logically equivalent, proving one automatically proves the other. This approach is especially useful when the direct path is hard to follow but the contrapositive version gives you something concrete to work with.
A classic example involves even and odd numbers. Suppose you want to prove: “If x + y is even, then x and y are both even or both odd” (meaning they have the same parity). The contrapositive version is: “If x and y have opposite parity (one even, one odd), then x + y is odd.” This is straightforward to demonstrate. If x is even, you can write it as 2k. If y is odd, you can write it as 2m + 1. Adding them gives 2k + 2m + 1, which equals 2(k + m) + 1, and that’s odd by definition. Done. The contrapositive is proven, so the original theorem holds.
Negating Compound Statements
Forming a contrapositive gets slightly trickier when the original statement contains “and” or “or.” To negate “and,” you flip it to “or” and negate each piece. To negate “or,” you flip it to “and” and negate each piece. These rules are known as De Morgan’s laws, and they come up constantly when building contrapositives of more complex statements.
For example, start with “If it is sunny and warm, then I will go to the beach.” The contrapositive requires you to negate both parts and swap. Negating the conclusion is simple: “I will not go to the beach.” Negating the hypothesis, “it is sunny and warm,” gives you “it is not sunny or it is not warm.” So the full contrapositive is: “If I will not go to the beach, then it is not sunny or it is not warm.” The “and” became “or” during negation.
Forgetting to switch “and” to “or” (or vice versa) is one of the most common errors people make when forming contrapositives. If you remember that negation flips the connector every time, you’ll avoid it.