Introduction
Deduction by Contradiction में हम किसी conclusion की truth को test करने के लिए उसका उल्टा मान लेते हैं और यह साबित करते हैं कि यह assumption एक contradiction तक पहुँचती है। यह reasoning technique तब useful होती है जब direct deduction आसान नहीं होता और conclusion को indirectly prove करना हो।
यह analytical reasoning में एक आवश्यक logical pattern है जो necessity को साबित करता है - अगर उल्टा assumption fail हो जाए, तो conclusion का सही होना ज़रूरी हो जाता है।
Pattern: Deduction by Contradiction
Pattern
मुख्य विचार: Conclusion का उल्टा मानो। अगर वह contradiction तक ले जाए, तो conclusion ज़रूर true होगा।
यह indirect reasoning false assumptions को logical negation की मदद से eliminate कर देता है।
Step-by-Step Example
Question
Statements:
1️⃣ अगर बारिश होती है, तो ज़मीन गीली हो जाती है।
2️⃣ ज़मीन गीली नहीं है।
Conclusion: बारिश नहीं हुई।
Conclusion का सही logical evaluation चुनें:
(A) Conclusion गलत है।
(B) Conclusion directly follow करता है।
(C) Conclusion contradiction द्वारा follow करता है।
(D) Conclusion determine नहीं किया जा सकता।
Solution
Step 1: Symbolically लिखें
मान लें R = “बारिश होती है” और W = “ज़मीन गीली है”。 दिए गए: If R → W, और ¬W (गीली नहीं)।Step 2: उल्टा मानें
मान लेते हैं कि conclusion गलत है - यानी बारिश हुई थी (R true)।Step 3: Rule apply करें
If R → W, और R true ⇒ W true होना चाहिए। लेकिन दिया है ¬W। यह contradiction है।Step 4: Deduce
इसलिए assumption “बारिश हुई” सही नहीं हो सकता। Hence, “बारिश नहीं हुई” जरूर true है।Final Answer:
Conclusion contradiction द्वारा follow करता है → Option CQuick Check:
उल्टा मानने पर logical conflict आता है ⇒ original conclusion valid है ✅
Quick Variations
1️⃣ जब direct deduction clear न हो तब use होता है।
2️⃣ Conditional negations वाले problems में common - जैसे “If A → B और ¬B ⇒ ¬A”。
3️⃣ Impossibility या किसी assumption की falsity prove करने में भी काम आता है।
Trick to Always Use
- Step 1: Conclusion का negation assume करें।
- Step 2: Premises के साथ उसकी consistency check करें।
- Step 3: अगर contradiction मिलता है, तो negated assumption false - यानी conclusion true।
Summary
Summary
- पहले conclusion का उल्टा मानें।
- Given premises apply करके देखें कि contradiction बनता है या नहीं।
- अगर contradiction बने, तो assumption false और conclusion true होगा।
- यह logical deduction problems में इस्तेमाल होने वाली indirect proof method है।
याद रखने वाला Example:
If R → W और ¬W, तो ¬R (क्योंकि R मानने पर contradiction आता है)।
Hint: When effect fails, check if cause must be false using contradiction.
Common Mistakes: Assuming external reasons (like lack of money) without data.