विरोधाभास द्वारा प्रमाण

तर्क में, विरोधाभास द्वारा प्रमाण गणितीय प्रमाण का रूप है जो किसी प्रस्ताव के सत्य औपचारिक सिद्धांतों या वैधता (तर्क) को स्थापित करता है, यह दिखाते हुए कि प्रस्ताव को गलत मानने से विरोधाभास उत्पन्न होता है। यद्यपि इसका उपयोग गणितीय प्रमाणों में बहुत स्वतंत्र रूप से किया जाता है, परन्तु गणित का प्रत्येक दर्शन इस प्रकार के अरचनात्मक प्रमाण को सार्वभौमिक रूप से मान्य नहीं मानता है।

अधिक व्यापक रूप से, विरोधाभास द्वारा प्रमाण तर्क का कोई भी रूप है जो किसी विरोधाभास पर पहुंचकर विवरण स्थापित करता है, भले ही प्रारंभिक धारणा सिद्ध किए जाने वाले विवरण का खंडन न हो। इस सामान्य अर्थ में, विरोधाभास द्वारा प्रमाण को अप्रत्यक्ष प्रमाण, विपरीत मानकर प्रमाण, के रूप में भी जाना जाता है। और रिडक्टियो विज्ञापन असंभव विरोधाभास द्वारा प्रमाण को नियोजित करने वाला गणितीय प्रमाण सामान्यतौर पर इस प्रकार आगे बढ़ता है:


 * 1) सिद्ध किया जाने वाला प्रस्ताव P है।
 * 2) हम P को गलत मानते हैं, अर्थात हम ¬P मानते हैं।
 * 3) फिर यह दिखाया गया है कि ¬P का अर्थ गलत है। यह सामान्यतौर पर दो परस्पर विरोधाभासी निश्चित वाक्य, Q और ¬Q प्राप्त करके और अविरोधाभास के नियम की अनुरोध करके पूरा किया जाता है।
 * 4) चूंकि P को असत्य मानने से विरोधाभास उत्पन्न होता है, इसलिए यह निष्कर्ष निकाला जाता है कि P वास्तव में सत्य है।

महत्वपूर्ण विशेष कथन विरोधाभास द्वारा अस्तित्व प्रमाण है: यह प्रदर्शित करने के लिए कि किसी दिए गए गुण वाली वस्तु उपस्थित है, हम इस धारणा से विरोधाभास प्राप्त करते हैं कि सभी वस्तुएं गुण के निषेध को संतुष्ट करती हैं।

औपचारिकीकरण
सिद्धांत को औपचारिक रूप से प्रस्ताव सूत्र ¬¬P ⇒ P, समकक्ष रूप से (¬P ⇒ ⊥) ⇒ P के रूप में व्यक्त किया जा सकता है, जिसमें लिखा है: यदि P को गलत मानने का अर्थ गलत है, तो P सत्य है।

प्राकृतिक निगमन में सिद्धांत अनुमान के नियम का रूप ले लेता है


 * $$\cfrac{\vdash \lnot \lnot P}{\vdash P}$$

जिसमें लिखा है: यदि $$\lnot\lnot P$$ तो फिर सिद्ध हो गया $$P$$ निष्कर्ष निकाला जा सकता है.

अनुक्रमिक गणना में सिद्धांत अनुक्रम द्वारा व्यक्त किया जाता है


 * $$\Gamma, \lnot\lnot P \vdash P, \Delta$$

जिसमें लिखा है: परिकल्पनाएँ $$\Gamma$$ और $$\lnot\lnot P$$ निष्कर्ष $$P$$ या $$\Delta$$ सम्मिलित करना है।

औचित्य
प्राचीन तर्क में सिद्धांत को प्रस्ताव ¬¬P ⇒ P की सत्य तालिका की जांच द्वारा उचित बताया जा सकता है, जो इसे टॉटोलॉजी (पुनरुक्ति) के रूप में प्रदर्शित करता है:

सिद्धांत को उचित बताने का दूसरा तरीका यह है कि इसे बहिःक्षिप्त मध्य के नियम से निम्नानुसार प्राप्त किया जाता है। हम ¬¬P मानते हैं और P को सिद्ध करना चाहते हैं। बहिःक्षिप्त मध्य के नियम के अनुसार P या तो इसे धारण करता है या नहीं:


 * 1) यदि P धारण करता है, तो निश्चित रूप से P धारण करता है।
 * 2) यदि ¬P धारण है, तो हम ¬P और ¬¬P पर अविरोधाभास के नियम को क्रियान्वित करके गलत निकालते हैं, जिसके बाद बाहुल्य का सिद्धांत हमें P निष्कर्ष निकालने की अनुमति देता है।

किसी भी कथन में, हमने P की स्थापना की है। यह पता चला है कि, इसके विपरीत, विरोधाभास द्वारा प्रमाण का उपयोग बहिष्कृत मध्य के नियम को प्राप्त करने के लिए किया जा सकता है।

अनुक्रमिक कलन में विरोधाभास द्वारा प्रमाण अनुक्रमिक कलन से प्राप्त किया जा सकता है |निषेध के लिए अनुमान नियम:


 * $$\cfrac{\cfrac{\cfrac{\ }{\Gamma, P \vdash P, \Delta} \; (I)}{\Gamma, \vdash \lnot P, P, \Delta} \; ({\lnot}R)}{\Gamma, \lnot\lnot P \vdash P, \Delta} \; ({\lnot}L)$$

विरोधाभास द्वारा खंडन
विरोधाभास द्वारा प्रमाण, विरोधाभास द्वारा खंडन के समान है, इसे निषेध नियम_के_अनुमान के रूप में भी जाना जाता है, जो बताता है कि ¬P इस प्रकार सिद्ध होता है:


 * 1) सिद्ध किया जाने वाला प्रस्ताव ¬P है।
 * 2) मान लीजिए P.
 * 3) गलत निष्कर्ष निकालें.
 * 4) निष्कर्ष ¬P.

इसके विपरीत, विरोधाभास द्वारा प्रमाण इस प्रकार आगे बढ़ता है:


 * 1) सिद्ध किया जाने वाला प्रस्ताव P है.
 * 2) मान लीजिए ¬P.
 * 3) गलत निष्कर्ष निकालें.
 * 4) निष्कर्ष P.

औपचारिक रूप से ये समान नहीं हैं, क्योंकि विरोधाभास द्वारा खंडन तभी क्रियान्वित होता है जब सिद्ध किए जाने वाले प्रस्ताव को अस्वीकार कर दिया जाता है, जबकि विरोधाभास द्वारा प्रमाण किसी भी प्रस्ताव पर क्रियान्वित किया जा सकता है। प्राचीन तर्क में, जहाँ $$P$$ और $$\neg\neg P$$ स्वतंत्र रूप से आदान-प्रदान किया जा सकता है, अंतर बहुत सिमा तक अस्पष्ट है। इस प्रकार गणितीय अभ्यास में, दोनों सिद्धांतों को विरोधाभास द्वारा प्रमाण कहा जाता है।

बहिष्कृत मध्य का नियम
विरोधाभास द्वारा प्रमाण बहिष्कृत मध्य के नियम के बराबर है, जिसे सबसे पहले अरस्तू ने तैयार किया था, जिसमें कहा गया है कि P ∨ ¬P या तो कथन या उसका निषेध सत्य है।

अविरोधाभास का नियम
अविरोधाभास के नियम को सबसे पहले अरस्तू ने एक आध्यात्मिक सिद्धांत के रूप में बताया था। यह मानता है कि प्रस्ताव और उसका निषेध दोनों सत्य नहीं हो सकते हैं, या समकक्ष रूप से, प्रस्ताव सत्य और गलत दोनों नहीं हो सकता है। औपचारिक रूप से अविरोधाभास के नियम को ¬(P ∧ ¬P) के रूप में लिखा जाता है और पढ़ा जाता है क्योंकि ऐसा नहीं है कि कोई प्रस्ताव सत्य और गलत दोनों है। अविरोधाभास का नियम न तो विरोधाभास द्वारा प्रमाण के सिद्धांत का पालन करता है और न ही इसमें निहित है।

बहिष्कृत मध्य और अविरोधाभास के नियमों का एक साथ अर्थ यह है कि P और ¬P में से बिल्कुल सत्य है।

अंतर्ज्ञानवादी तर्क में विरोधाभास द्वारा प्रमाण
अंतर्ज्ञानवादी तर्क में विरोधाभास द्वारा प्रमाण सामान्यतौर पर मान्य नहीं होता है, चूँकि कुछ विशेष उदाहरण प्राप्त किए जा सकते हैं। इसके विपरीत, निषेध का प्रमाण और अविरोधाभास का सिद्धांत दोनों अंतर्ज्ञान की दृष्टि से मान्य हैं।

ब्रौवर-हेटिंग-कोलमोगोरोव द्वारा विरोधाभास द्वारा प्रमाण की व्याख्या निम्नलिखित अंतर्ज्ञानवादी वैधता स्थिति देती है:


 * यदि यह स्थापित करने की कोई विधि नहीं है कि कोई प्रस्ताव गलत है, तो यह स्थापित करने की विधि है कि प्रस्ताव सत्य है।

यदि हम विधि को कलन विधि के रूप में लेते हैं, तो यह स्थिति स्वीकार्य नहीं है, क्योंकि यह हमें हॉल्टिंग समस्या को सिद्ध करने की अनुमति देगी। यह देखने के लिए कि कैसे, कथन H(M) पर विचार करें जिसमें बताया गया है कि ट्यूरिंग मशीन M रुकती है या नहीं रुकती है। इसका निषेध ¬H(M) बताता है कि M न तो रुकता है और नही रुकता है, जो कि अविरोधाभास के नियम (जो अंतर्ज्ञान की दृष्टि से मान्य है) द्वारा गलत है। यदि विरोधाभास द्वारा प्रमाण अंतर्ज्ञानात्मक रूप से मान्य थे, तो हम यह निश्चित करने के लिए कलन विधि प्राप्त करेंगे कि क्या अपने ढंग ट्यूरिंग मशीन M रुकती है, जिससे हॉल्टिंग समस्या की असमाधान क्षमता के (अंतर्ज्ञानात्मक रूप से मान्य) प्रमाण का उल्लंघन होता है।

प्रस्ताव P जो $$\lnot\lnot P \Rightarrow P$$ संतुष्ट करता है, इसे ¬¬-स्थिर प्रस्ताव के रूप में जाना जाता है। इस प्रकार अंतर्ज्ञानवादी तर्क में विरोधाभास द्वारा प्रमाण सार्वभौमिक रूप से मान्य नहीं है, अपितु इसे केवल ¬-स्थिर प्रस्तावों पर ही क्रियान्वित किया जा सकता है। इस तरह के प्रस्ताव का एक उदाहरण निर्णय लेने योग्य अर्थात संतोषजनक है $$P \lor \lnot P$$. वास्तव में, उपरोक्त प्रमाण कि बहिष्कृत मध्य का नियम विरोधाभास द्वारा प्रमाण का तात्पर्य करता है, यह दिखाने के लिए पुन: उपयोग किया जा सकता है कि निर्णायक प्रस्ताव ¬¬-स्थिर है। निर्णायक प्रस्ताव का विशिष्ट उदाहरण है जिसे प्रत्यक्ष गणना द्वारा जांचा जा सकता है, जैसे $$n$$ प्रमुख या $$a$$ विभाजित $$b$$ है |

यूक्लिड के तत्व
विरोधाभास द्वारा प्रमाण की प्रारंभिक घटना यूक्लिड के तत्वों, पुस्तक 1, प्रस्ताव 6 में पाई जा सकती है:
 * यदि किसी त्रिभुज में दो कोण एक दूसरे के बराबर होते हैं, तो समान कोणों की सम्मुख भुजाएँ भी एक दूसरे के बराबर होती हैं।

प्रमाण यह मानकर आगे बढ़ता है कि विपरीत कोण समान नहीं हैं, और विरोधाभास उत्पन्न होता है।

हिल्बर्ट का नलस्टेलेंसत्ज़
विरोधाभास द्वारा प्रभावशाली प्रमाण डेविड हिल्बर्ट द्वारा दिया गया था। उसका हिल्बर्ट के नलस्टेलेंसत्ज़ कहते हैं:


 * यदि $$f_1,\ldots,f_k$$ में बहुपद हैं $n$ सम्मिश्र संख्या गुणांकों के साथ अनिश्चित होता है, जिसमें किसी फ़ंक्शन का कोई सामान्य सम्मिश्र शून्य नहीं होता है, तो बहुपद $$g_1,\ldots, g_k$$ होते हैं | ऐसा है $$f_1g_1+\ldots +f_kg_k=1$$ ऐसा है |

हिल्बर्ट ने यह मानकर कथन को सिद्ध किया कि ऐसे $$g_1, \ldots, g_k$$ कोई बहुपद नहीं हैं और विरोधाभास निकाला है।

अभाज्य संख्याओं का अनंत
यूक्लिड का प्रमेय कहता है कि अपरिमित रूप से अनेक अभाज्य संख्याएँ होती हैं। यूक्लिड के तत्वों में प्रमेय पुस्तक IX, प्रस्ताव 20 में बताया गया है:
 * अभाज्य संख्याएँ अभाज्य संख्याओं की किसी भी निर्दिष्ट संख्या से अधिक होती हैं।

इस पर निर्भर करते हुए कि हम उपरोक्त कथन को औपचारिक रूप से कैसे लिखते हैं, सामान्य प्रमाण या तो विरोधाभास द्वारा प्रमाण या विरोधाभास द्वारा खंडन का रूप लेता है। हम यहां पूर्व प्रस्तुत करते हैं, नीचे देखें कि विरोधाभास द्वारा खंडन के रूप में प्रमाण कैसे किया जाता है।

यदि हम औपचारिक रूप से यूक्लिड के प्रमेय को यह कहते हुए व्यक्त करते हैं कि प्रत्येक प्राकृतिक संख्या के लिए $$n$$ इससे बड़ा कोई अभाज्य है, तो हम विरोधाभास द्वारा प्रमाण का उपयोग इस प्रकार करते हैं।

कोई भी संख्या दी गई $$n$$, हम यह सिद्ध करना चाहते हैं कि इससे बड़ा कोई अभाज्य $$n$$ है। इसके विपरीत मान लीजिए कि ऐसा कोई P उपस्थित नहीं है (विरोधाभास द्वारा प्रमाण का अनुप्रयोग)। तब सभी अभाज्य संख्याएँ इससे छोटी या $$n$$ उसके बराबर होती हैं, और हम $$p_1, \ldots, p_k$$उन सब का सूची बना सकते हैं। $$P = p_1 \cdot \ldots \cdot p_k$$ सभी अभाज्यों का गुणनफल और $$Q = P + 1$$ बनता है। क्योंकि $$Q$$ यह सभी अभाज्य संख्याओं से बड़ा है, यह अभाज्य नहीं है, इसलिए इसे उनमें से किसी से विभाज्य होना चाहिए, मान लीजिए $$p_i$$. अब दोनों $$P$$ और $$Q$$ से $$p_i$$विभाज्य है, इसलिए उनका अंतर $$Q - P = 1$$ इतना है, परन्तु ऐसा नहीं हो सकता क्योंकि 1 किसी भी अभाज्य संख्या से विभाज्य नहीं है। इसलिए हमारे पास विरोधाभास है और इसलिए इससे बड़ी अभाज्य $$n$$ संख्या है |

विरोधाभास द्वारा खंडन के उदाहरण
निम्नलिखित उदाहरणों को सामान्यतौर पर विरोधाभास द्वारा प्रमाण के रूप में संदर्भित किया जाता है, परन्तु औपचारिक रूप से विरोधाभास द्वारा खंडन का उपयोग किया जाता है (और इसलिए अंतर्ज्ञान की दृष्टि से मान्य हैं)।

अभाज्य संख्याओं का अनंत
आइए यूक्लिड के प्रमेय - पुस्तक IX, प्रस्ताव 20 दोबारा ध्यान देना है |
 * अभाज्य संख्याएँ अभाज्य संख्याओं की किसी भी निर्दिष्ट संख्या से अधिक होती हैं।

हम इस कथन को यह कहते हुए पढ़ सकते हैं कि अभाज्य संख्याओं की प्रत्येक सीमित सूची के लिए, उस सूची में नहीं एक और अभाज्य होता है, जो संभवतः यूक्लिड के मूल सूत्रीकरण के निकट और उसी विचारधारा में है। इस कथन में यूक्लिड का प्रमाण एक चरण में विरोधाभास द्वारा खंडन को निम्नानुसार क्रियान्वित करता है।

अभाज्य संख्याओं की $$p_1, \ldots, p_n$$कोई सीमित सूची दी गई है, यह दिखाया जाएगा कि कम से कम अतिरिक्त अभाज्य संख्या जो इस सूची में नहीं है, उपस्थित है। $$P = p_1 \cdot p_2 \cdots p_n$$ सभी सूचीबद्ध अभाज्य संख्याओं का गुणनफल बनता है और $$p$$ का प्रमुख कारक $$P + 1$$, संभवतः $$P + 1$$ अपने आप बनता है। हम इसका  अनुरोध करते हैं $$p$$ अभाज्य संख्याओं की दी गई सूची में नहीं है। इसके विपरीत मान लीजिए कि यह (विरोधाभास द्वारा खंडन का अनुप्रयोग) था। तब $$p$$ दोनों को बांट $$P$$ और  $$P + 1$$ देते हैं, इसलिए उनका अंतर भी है, जो $$1$$ है | इससे विरोधाभास उत्पन्न होता है, क्योंकि कोई भी अभाज्य संख्या 1 को विभाजित नहीं करती है।

2 के वर्गमूल की अतार्किकता
2 अनंत अवरोहण द्वारा प्रमाण का प्राचीन वर्गमूल विरोधाभास द्वारा खंडन है। वास्तव में, हम निषेधन ¬ ∃ a, b ∈ को सिद्ध करने के लिए $$\mathbb{N}$$ निकले हैं | a/b = √2 यह मानकर कि प्राकृतिक संख्याएँ a और b उपस्थित हैं जिनका अनुपात दो का वर्गमूल है, और विरोधाभास प्राप्त करता है।

अनंत अवरोहण द्वारा प्रमाण
अनंत अवरोहण द्वारा प्रमाण प्रमाण की विधि है जिसके अंतर्गत वांछित गुण वाली सबसे छोटी वस्तु को निम्नानुसार अस्तित्व में नहीं दिखाया जाता है:


 * मान लें कि वांछित गुण वाली एक छोटी वस्तु है।
 * प्रदर्शित करें कि वांछित गुण वाली छोटी वस्तु भी उपस्थित है, जिससे विरोधाभास उत्पन्न होता है।

ऐसा प्रमाण फिर से विरोधाभास द्वारा खंडन है। विशिष्ट उदाहरण इस प्रस्ताव का प्रमाण है कि कोई सबसे छोटी धनात्मक परिमेय संख्या नहीं है: मान लें कि सबसे छोटी धनात्मक परिमेय संख्या q है और इसे देखकर $q⁄2$ विरोधाभास प्राप्त करें, q से भी छोटा है और फिर भी धनात्मक है।

रसेल का विरोधाभास
रसेल का विरोधाभास, समूह-सैद्धांतिक रूप से कहा गया है क्योंकि ऐसा कोई समूह नहीं है जिसके तत्व बिल्कुल वे समूह हैं जिनमें स्वयं सम्मिलित नहीं हैं, नगण्य हुआ कथन है जिसका सामान्य प्रमाण विरोधाभास द्वारा खंडन है।

अंकन
विरोधाभास से प्रमाण कभी-कभी विरोधाभास शब्द के साथ समाप्त होते हैं | आइजैक बैरो और बर्मन ने क्यू.ई.डी. के अनुसार पर क्वॉड एस्ट एब्सर्डम (जो गलत है) के लिए क्यू.ई.ए. अंकन का उपयोग किया, परन्तु इस अंकन का उपयोग आज शायद ही कभी किया जाता है। कभी-कभी विरोधाभासों के लिए उपयोग किया जाने वाला स्पष्ट प्रतीक नीचे की ओर टेढ़ा-मेढ़ा तीर वाला विद्युत प्रतीक (U+21AF: ↯) होता है, उदाहरण के लिए डेवी और प्रीस्टले में हैं। कभी-कभी उपयोग किए जाने वाले अन्य में व्युत्क्रम तीर (जैसे) की एक जोड़ी सम्मिलित होती है $$\rightarrow\!\leftarrow$$ या $$\Rightarrow\!\Leftarrow$$), काटे गए तीर ($$\nleftrightarrow$$), हैश का शैलीबद्ध रूप (जैसे U+2A33: ⨳), या संदर्भ चिह्न (U+203B: ※), या $$\times\!\!\!\!\times$$ होता है |

हार्डी का दृष्टिकोण
जी. एच. हार्डी ने विरोधाभास द्वारा प्रमाण को गणितज्ञ के बहुत अच्छे शस्त्र में से एक बताया और कहा कि यह किसी भी प्रमाण की तुलना में कहीं अधिक अच्छा जुआ है: शतरंज खिलाड़ी मोहरे या यहां तक ​​कि एक मोहरे की बलि दे सकता है, परन्तु एक गणितज्ञ खेल को प्रस्तुत करता है।

यह भी देखें

 * बहिष्कृत मध्य का नियम
 * अविरोधाभास का नियम
 * क्षय से प्रमाण
 * अनंत अवरोहण द्वारा प्रमाण
 * मूड लेना

आगे पढ़ना और बाहरी लिंक

 * विरोधाभास द्वारा प्रमाण लैरी डब्लू क्यूसिक के से प्रमाण कैसे लिखें
 * Reductio ad Absurdum इंटरनेट इनसाइक्लोपीडिया ऑफ फिलॉसफी; आईएसएसएन 2161-0002
 * Reductio ad Absurdum इंटरनेट इनसाइक्लोपीडिया ऑफ फिलॉसफी; आईएसएसएन 2161-0002