无矛盾律

在古典邏輯中，无矛盾律（英語：，縮寫為LNC），也被称为矛盾律（），把断言命题 Q 和它的否定命题 ¬ Q 二者同时在"同一方面"为真的任何命题 P 断定为假。[1] 用亚里士多德的话说，“你不能同时声称某事物在同一方面既是又不是”。

更簡單的說，對於任何命題 P，P 和 ¬ P 不能同時為真。在符号上，这可表达为:${\displaystyle \neg (P\wedge \neg P)\,}$为真。

二值和有关规律检视了无矛盾律和类似定律的关系，比如二值原理，不应与之混淆。

這條規律的根據之一，是爆炸原理，即在經典邏輯中陳述由矛盾可得一切事物的規則。它適用於歸謬法的證明。爲了表達這一規律不以時間爲轉移且爲了避免歧義，它有時會被修正表述爲「在同一時刻、同一意義上，矛盾命題不同時為真。」

無矛盾律，與排中律和同一律同屬於三大傳統思維規律。在德摩根定律中，無矛盾律等同於排中律。不過，沒有任何邏輯體系僅僅建立三條規律之上，而且也沒有任何其中之一的規律可以得出諸如德摩根定律與肯定前件這樣的推理規則。

無矛盾律和排中律創造了「邏輯空間」中的二分法——「空間」中的兩部分在同一整體中互補且互斥。無矛盾律只是在二分法中强調「互斥」這一方面的表述，而排中律則是强調「互補」這一方面的表述。