Introduction
In logical reasoning, every “If-Then” statement has an equivalent form called its contrapositive. Understanding contrapositive deduction is crucial because it helps identify equivalent statements that are always true when the original is true.
This pattern strengthens reasoning by teaching how to reverse and negate conditionals accurately - a common feature in competitive exams and analytical logic problems.
Pattern: Contrapositive Deduction
Pattern
The contrapositive of “If P → Q” is “If not Q → not P.” Both statements are logically equivalent.
That means if the original conditional is true, its contrapositive must also be true. However, its converse (“If Q → P”) and inverse (“If not P → not Q”) are not logically equivalent.
Step-by-Step Example
Question
Statement:
If it rains, the streets get wet.
Which of the following represents the contrapositive of this statement?
Options:
A. If the streets get wet, it rains.
B. If the streets do not get wet, it did not rain.
C. If it does not rain, the streets do not get wet.
D. If the streets get dry, it rains.
Solution
-
Step 1: Identify the original conditional
“If it rains (P) → Streets get wet (Q).” -
Step 2: Apply the contrapositive rule
Contrapositive is formed by reversing and negating both parts: “If not Q → not P.” -
Step 3: Substitute terms
“If the streets do not get wet (¬Q), then it did not rain (¬P).” -
Step 4: Match with options
Option B represents this exactly. -
Final Answer:
If the streets do not get wet, it did not rain → Option B -
Quick Check:
Original and contrapositive are logically equivalent - both true or both false ✅
Quick Variations
1. “If A → B” ⇒ Contrapositive: “If not B → not A.”
2. “If you study → you pass.” ⇒ Contrapositive: “If you don’t pass → you didn’t study.”
3. “If the alarm rings → you wake up.” ⇒ Contrapositive: “If you didn’t wake up → the alarm didn’t ring.”
4. Contrapositive always maintains logical equivalence, unlike converse or inverse.
Trick to Always Use
- Step 1: Reverse the order (make consequence first).
- Step 2: Negate both parts (add “not” to both).
- Step 3: Keep “If-Then” structure intact to form valid contrapositive.
Summary
Summary
- The contrapositive of “If P → Q” is “If not Q → not P.”
- Contrapositive and the original conditional are logically equivalent.
- Converse (“If Q → P”) and inverse (“If not P → not Q”) are not logically valid.
- Always check reversal and negation correctly - this avoids confusion in reasoning questions.
Example to remember:
Statement: If a person is honest, he is trusted.
Contrapositive: If a person is not trusted, he is not honest. ✅
