無矛盾律

傳統邏輯基本規律之一。又稱不矛盾律。它通常被表述為A不是非A，或A不能既是B又不是B。在傳統邏輯里 ，矛盾律首先是作為事物規律提出來的，意為任一事物不能同時既具有某屬性又不具有某屬性。它作為思維規律，則是任一命題不能既真又不真。

矛盾律

contradiction，law of

矛盾律也被當作一種關於認識活動的規範性規律，意為任何人不應同時斷定一個命題 (A)及其否定 (並非A)。這就是說，對一個命題及其否定不應持兩可之說，以免自相矛盾。矛盾律還被看成是關於邏輯語義的規律，即在同一上下文中，同一語詞或語句不應既表述某一思想又不表述某一思想。違背了矛盾律的要求，思維就會陷入邏輯矛盾(A並且非A) 。而任何包含邏輯矛盾的思想又總是錯誤的，所以思想的無矛盾性是正確思維不可缺少的條件，也是構造一個理論體系的重要原則之一。在現代邏輯中，(A∧A) ( 讀作A並且非A是假的 )，是矛盾律在命題邏輯中的體現；?x(F（x)∧F(x)) (讀作並非存在著一個個體x，x既有性質F又沒有性質F)，是矛盾律在謂詞邏輯中的體現。

無矛盾律

在邏輯中，無矛盾律把斷言命題 Q 和它的否定命題非-Q 二者同時在"同一方面"為真的任何命題 P 斷定為假。用亞里士多德的話說，“你不能同時聲稱某事物在同一方面既是又不是”。

更簡練的說，對於任何命題 P，P 和非-P 不能同時在場。在符號上，這可表達為

<math> \neg (P \wedge \neg P).\, </math>

二值和有關規律檢視了無矛盾律和類似定律的關係，比如二值原理，不應與之混淆。