व्याघात (अन्तर्विरोध)

अंगूठाकार|यह आरेख अरस्तुवादी तर्कशास्त्र के विरोध के वर्ग में निरूपाधिक प्रतिज्ञप्ति (categorical proposition) के बीच विरोधाभासी संबंधों को दर्शाता है। पारंपरिक तर्कशास्त्र में, व्याघात या अन्तर्विरोध (Contradiction) तब होता है जब कोई प्रतिज्ञप्ति या तो स्वयं से या सुस्थापित तथ्य से टकराता या संघर्ष करता है। इसका उपयोग अक्सर कपटी मान्यताओं व विश्वासों और अभिनति का पता लगाने के लिए एक उपकरण के रूप में किया जाता है। अनुप्रयुक्त तर्क में एक सामान्य प्रवृत्ति का चित्रण करते हुए, अरस्तू का अव्याघात - नियम कहता है कि "यह असंभव है कि एक ही चीज़ एक ही समय में एक ही वस्तु से उसी संदर्भ में संबंधित हो और न हो। " Horn Laurence R. Contradiction 2018 https://plato.stanford.edu/archives/win2018/entries/contradiction/ Zalta Edward N. The Stanford Encyclopedia of Philosophy Winter 2018 Metaphysics Research Lab, Stanford University 2019-12-10 आधुनिक आकारिक तर्क और प्ररूप सिद्धांत (type theory) में, इस शब्द का उपयोग मुख्य रूप से एकल प्रतिज्ञप्ति के लिए किया जाता है, जिसे अक्सर फाल्सम प्रतीक द्वारा दर्शाया जाता है ; एक प्रतिज्ञप्ति एक व्यघात है यदि तर्क के नियमों का उपयोग करके, इससे असत्य निष्कर्ष निकाला जा सकता है। यह एक ऐसी प्रतिज्ञप्ति है जो अप्रतिबंधित रूप से असत्य है (अर्थात, एक स्व-अन्तर्विरोधि प्रतिज्ञप्ति)।Contradiction (logic) https://www.thefreedictionary.com/Contradiction+(logic) 2020-08-14 TheFreeDictionary.comTautologies, contradictions, and contingencies http://www.skillfulreasoning.com/propositional_logic/properties_of_propositions.html 2020-08-14 www.skillfulreasoning.com इसे प्रतिज्ञप्ति के एक संग्रह के लिए सामान्यीकृत किया जा सकता है, जिसके बारे में तब कहा जाता है कि इसमें एक व्याघात "शामिल" है।