Contrapositive
Also known as: contraposition, ¬Q → ¬P
Grade 9-12
View on concept mapThe contrapositive of a conditional statement P \Rightarrow Q is \neg Q \Rightarrow \neg P, formed by negating both parts and reversing their order — it is always logically equivalent to the original. The contrapositive provides an alternative path to proving conditional statements and is logically equivalent to the original — it is widely used in proofs, algorithm correctness, and everyday reasoning like 'if the road is not wet, then it did not rain.
Definition
The contrapositive of a conditional statement P \Rightarrow Q is \neg Q \Rightarrow \neg P, formed by negating both parts and reversing their order — it is always logically equivalent to the original.
💡 Intuition
Flip and negate. Always has the same truth value as the original.
🎯 Core Idea
The contrapositive \neg Q \to \neg P is logically equivalent to P \to Q — they always have the same truth value. Proving one proves the other.
Example
Formula
Notation
\sim Q \to \sim P is the contrapositive of P \to Q
🌟 Why It Matters
The contrapositive provides an alternative path to proving conditional statements and is logically equivalent to the original — it is widely used in proofs, algorithm correctness, and everyday reasoning like 'if the road is not wet, then it did not rain.'
💭 Hint When Stuck
Write the original as 'If P then Q.' Now swap P and Q to get the converse, then negate both to get the contrapositive. Keep those two straight.
Formal View
Related Concepts
🚧 Common Stuck Point
Contrapositive \neq converse. Converse: 'If Q, then P'—NOT equivalent.
⚠️ Common Mistakes
- Mixing up contrapositive (\neg Q \to \neg P) with converse (Q \to P) — only the contrapositive is logically equivalent
- Negating only the hypothesis or only the conclusion instead of both — the contrapositive flips AND negates both parts
- Thinking the inverse (\neg P \to \neg Q) is the same as the contrapositive — the inverse is equivalent to the converse, not the original
Go Deeper
Frequently Asked Questions
What is Contrapositive in Math?
The contrapositive of a conditional statement P \Rightarrow Q is \neg Q \Rightarrow \neg P, formed by negating both parts and reversing their order — it is always logically equivalent to the original.
What is the Contrapositive formula?
(P \to Q) \Leftrightarrow (\neg Q \to \neg P)
When do you use Contrapositive?
Write the original as 'If P then Q.' Now swap P and Q to get the converse, then negate both to get the contrapositive. Keep those two straight.
Prerequisites
Next Steps
Cross-Subject Connections
How Contrapositive Connects to Other Ideas
To understand contrapositive, you should first be comfortable with conditional and negation. Once you have a solid grasp of contrapositive, you can move on to proof techniques.
Visualization
StaticVisual representation of Contrapositive