形式邏輯的基本規律之一，是在數學或邏輯上不需證明的公理或公設，且作為一切邏輯推理的基礎。它要求在同一思維過程中，對同一對象的判斷必須是首尾一貫的，不能自相矛盾。如既說「甲是乙」，又說「甲不是乙」，這就違反了矛盾律。這兩個判斷必有一個是假的，必須否定其中的一個。矛盾律的公式是「甲不是非甲」、「甲不能既是乙又不是乙」。