Introduction
In Deduction by Contradiction, we test the truth of a conclusion by assuming the opposite of it and proving that this assumption leads to a contradiction. This reasoning technique helps confirm conclusions indirectly when direct deduction isn’t simple.
It’s an essential logical pattern used in analytical reasoning to prove necessity - if the opposite assumption fails, the conclusion must hold true.
Pattern: Deduction by Contradiction
Pattern
The key idea is: Assume the opposite of the conclusion. If that leads to a contradiction, the conclusion must be true.
This indirect reasoning pattern eliminates false assumptions through logical negation.
Step-by-Step Example
Question
Statements:
1️⃣ If it rains, the ground becomes wet.
2️⃣ The ground is not wet.
Conclusion: It did not rain.
Choose the correct logical evaluation of the conclusion:
(A) The conclusion is invalid.
(B) The conclusion follows directly.
(C) The conclusion follows by contradiction.
(D) The conclusion cannot be determined.
Solution
Step 1: Express symbolically
Let R = “It rains” and W = “Ground is wet”. Given: If R → W, and ¬W (not wet).Step 2: Assume opposite
Assume the conclusion is false - suppose it did rain (R true).Step 3: Apply rule
If R → W, and R is true ⇒ W must be true. But given ¬W. This is a contradiction.Step 4: Deduce
Therefore, the assumption “It rained” cannot hold. Hence, “It did not rain” must be true.Final Answer:
The conclusion follows by contradiction → Option CQuick Check:
Assuming the opposite creates logical conflict ⇒ original conclusion is valid ✅
Quick Variations
1️⃣ Used when direct deduction isn’t clear.
2️⃣ Common in problems involving conditional negations like “If A → B and ¬B ⇒ ¬A”.
3️⃣ Also used to prove impossibility or falsity of assumptions.
Trick to Always Use
- Step 1: Assume the negation of the conclusion.
- Step 2: Check consistency with given premises.
- Step 3: If contradiction occurs, the negated assumption is false - so the conclusion is true.
Summary
Summary
- Assume the opposite of the conclusion first.
- Apply given premises logically to check if contradiction arises.
- If contradiction appears, the assumption is false and conclusion must be true.
- This is an indirect proof method used in logical deduction problems.
Example to remember:
If R → W and ¬W, then ¬R (since assuming R causes contradiction).
