अव्याघात - नियम

तर्कशास्त्र में, अव्याघात - नियम  (Law of non-contradiction (LNC), जिसे व्याघात - नियम, अव्याघात का सिद्धांत, principle of non-contradiction (PNC)  या व्याघात सिद्धांत भी कहा जाता है) कहता है कि व्याघात (अंतर्विरोधी) प्रतिज्ञप्तियाँ एक ही अभिप्राय में सत्य नहीं हो सकते हैं। एक ही समय में, उदाहरण के लिए दो प्रतिज्ञप्तियाँ " P मामला है " और " P मामला नहीं है " परस्पर अपवर्जी हैं। औपचारिक रूप से इसे पुनरूक्ति ¬(p ∧ ¬p) के रूप में व्यक्त किया जाता है। कानून को मध्याभाव - नियम (Law of excluded middle) के साथ भ्रमित नहीं किया जाना चाहिए जो बताता है कि कम से कम एक, "P मामला है" या "P मामला नहीं है" मान्य है।

इस नियम के होने का एक कारण विस्फोट का सिद्धांत है, जो बताता है कि कोई भी चीज़ अंतर्विरोध से उत्पन्न होती है। इसका प्रयोग प्रसंगापत्ति (reductio ad absurdum) सिद्धि में किया जाता है।

इस तथ्य को व्यक्त करने के लिए कि नियम तनावहीन है और संदग्धिता से बचने के लिए, कभी-कभी इस नियम में यह कहने के लिए संशोधन किया जाता है कि "अंतर्विरोधी प्रतिज्ञप्ति' एक ही समय में और एक ही अभिप्राय में' सत्य नहीं हो सकते"। 

यह विचार के तथाकथित तीन नियमों में से एक है, इसके पूरक, मध्याभाव - नियम और तादाम्य नियम के साथ। हालाँकि, तर्क की कोई भी प्रणाली केवल इन नियमों पर नहीं बनी है, और इनमें से कोई भी नियम अनुमान के नियमों को प्रदान नहीं करता है, जैसे कि विधानात्मक हेतुफलानुमान (modus ponens) या डी मॉर्गन के नियम ।

अव्याघात - नियम और मध्याभाव - नियम "तार्किक दिक्" में एक द्विभाजन पैदा करता है, जिसमें दो भाग "परस्पर अपवर्जी" और "संयुक्ततः सर्वांगीण" होते हैं। अव्याघात - नियम उस द्विभाजन के परस्पर अपवर्जी पहलू की अभिव्यक्ति मात्र है, और मध्याभाव - नियम इसके संयुक्त रूप से सर्वांगीण पहलू की अभिव्यक्ति है।