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

पारंपरिक तर्कशास्त्र में, व्याघात या अन्तर्विरोध (Contradiction) तब होता है जब कोई प्रतिज्ञप्ति या तो स्वयं से या सुस्थापित तथ्य से टकराता या संघर्ष करता है। इसका उपयोग अक्सर कपटी मान्यताओं व विश्वासों और अभिनति का पता लगाने के लिए एक उपकरण के रूप में किया जाता है। अनुप्रयुक्त तर्क में एक सामान्य प्रवृत्ति का चित्रण करते हुए, अरस्तू का अव्याघात - नियम कहता है कि "यह असंभव है कि एक ही चीज़ एक ही समय में एक ही वस्तु से उसी संदर्भ में संबंधित हो और न हो। " 

आधुनिक आकारिक तर्क और प्ररूप सिद्धांत (type theory) में, इस शब्द का उपयोग मुख्य रूप से एकल प्रतिज्ञप्ति के लिए किया जाता है, जिसे अक्सर फाल्सम प्रतीक द्वारा दर्शाया जाता है  ; एक प्रतिज्ञप्ति एक व्यघात है यदि तर्क के नियमों का उपयोग करके, इससे असत्य निष्कर्ष निकाला जा सकता है। यह एक ऐसी प्रतिज्ञप्ति है जो अप्रतिबंधित रूप से असत्य है (अर्थात, एक स्व-अन्तर्विरोधि प्रतिज्ञप्ति)। इसे प्रतिज्ञप्ति के एक संग्रह के लिए सामान्यीकृत किया जा सकता है, जिसके बारे में तब कहा जाता है कि इसमें एक व्याघात "शामिल" है।