無矛盾律

在古典邏輯中 ， 無矛盾律 ( 縮寫爲LNC ） ， 也被稱爲矛盾律  ， 把斷言命題 Q 和它的否定命題 ¬ Q 二者同時在 " 同一方面 " 爲真的任何命題 P 斷定爲假 。 用亞里士多德的話說 ， “ 你不能同時聲稱某事物在同一方面既是又不是 ” 。 更簡單的說 ， 對於任何命題 P ， P 和 ¬ P 不能同時爲真 。 在符號上 ， 這可表達爲: 爲真 。 二值和有關規律檢視了無矛盾律和類似定律的關係 ， 比如二值原理 ， 不應與之混淆 。 這條規律的根據之一 ， 是爆炸原理 ， 即在經典邏輯中陳述由矛盾可得一切事物的規則 。 它適用於歸謬法的證明 。 爲了表達這一規律不以時間爲轉移且爲了避免歧義 ， 它有時會被修正表述爲 「 在同一時刻 、 同一意義上 ， 矛盾命題不同時爲真 。 」 無矛盾律 ， 與排中律和同一律同屬於三大傳統思維規律 。 在德摩根定律中 ， 無矛盾律等同於排中律 。 不過 ， 沒有任何邏輯體系僅僅建立三條規律之上 ， 而且也沒有任何其中之一的規律可以得出諸如德摩根定律與肯定前件這樣的推理規則 。 無矛盾律和排中律創造了 「 邏輯空間 」 中的二分法 — — 「 空間 」 中的兩部分在同一整體中互補且互斥 。 無矛盾律只是在二分法中強調 「 互斥 」 這一方面的表述 ， 而排中律則是強調 「 互補 」 這一方面的表述 。