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