Introduction
Deduction by Contradiction-ல், ஒரு conclusion உண்மையா என்பதை சோதிக்க, அதன் எதிர்மறை (opposite) யை assume செய்து, அந்த assumption ஒரு contradiction-க்கு வழிவகுக்கிறதா என்பதை பார்க்கிறோம். direct deduction எளிதாக இல்லாத போது, conclusions-ஐ மறைமுகமாக (indirectly) உறுதிப்படுத்த இந்த reasoning technique உதவுகிறது.
இது analytical reasoning-ல் பயன்படும் முக்கியமான logical pattern; எதிர்மறை assumption தோல்வியடைகிறதே என்றால், conclusion கட்டாயமாக true ஆகவேண்டும் என்பதைக் நிரூபிக்கிறது.
Pattern: Deduction by Contradiction
Pattern
முக்கிய கருத்து: Conclusion-ன் opposite-ஐ assume செய்யவும். அது contradiction-க்கு வழிவகுத்தால், conclusion true ஆகவேண்டும்.
இந்த indirect reasoning pattern, logical negation மூலம் தவறான assumptions-ஐ நீக்குகிறது.
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.
Conclusion-க்கு சரியான logical evaluation எது?
(A) Conclusion invalid.
(B) Conclusion directly follows.
(C) Conclusion follows by contradiction.
(D) Conclusion cannot be determined.
Solution
Step 1: Symbolically எழுதவும்
R = “It rains”, W = “Ground is wet”. Given: If R → W, மற்றும் ¬W (not wet).Step 2: Opposite-ஐ assume செய்யவும்
Conclusion false என்று assume செய்கிறோம் - அதாவது மழை பெய்தது (R true).Step 3: Rule-ஐ apply செய்யவும்
If R → W மற்றும் R true ⇒ W true ஆகவேண்டும். ஆனால் given-ல் ¬W. இது contradiction.Step 4: Deduce
ஆகையால் “மழை பெய்தது” என்ற assumption செல்லாது. எனவே “மழை பெய்யவில்லை” என்பது true.Final Answer:
Conclusion contradiction மூலம் follow ஆகிறது → Option CQuick Check:
Opposite-ஐ assume செய்தால் logical conflict வருகிறது ⇒ original conclusion valid ✅
Quick Variations
1️⃣ Direct deduction தெளிவாக இல்லாத போது பயன்படுத்தப்படும்.
2️⃣ “If A → B மற்றும் ¬B ⇒ ¬A” போன்ற conditional negations உள்ள கேள்விகளில் பொதுவாக வரும்.
3️⃣ Assumptions-ன் impossibility அல்லது falsity-ஐ நிரூபிக்கவும் பயன்படுத்தப்படுகிறது.
Trick to Always Use
- Step 1: Conclusion-ன் negation-ஐ assume செய்யவும்.
- Step 2: Given premises-உடன் consistency உள்ளதா என சரிபார்க்கவும்.
- Step 3: Contradiction வந்தால், negated assumption false - அதனால் conclusion true.
Summary
Summary
- முதலில் conclusion-ன் opposite-ஐ assume செய்யவும்.
- Given premises-ஐ logically apply செய்து contradiction வருகிறதா பார்க்கவும்.
- Contradiction வந்தால், assumption false; conclusion true.
- இது logical deduction problems-ல் பயன்படுத்தப்படும் indirect proof method.
நினைவில் வைக்க வேண்டிய example:
If R → W மற்றும் ¬W, then ¬R (R-ஐ assume செய்தால் contradiction வரும்).
