⒈ 或“甲不能既是乙又不是乙”。或“甲不能既是乙又不是乙”。

引形式邏輯的基本規律之一。要求在同一思維過程中，對同一對象不能同時作出兩個矛盾的判斷，即不能既肯定它，又否定它。如不能既說“水是物質”，同時又說“水不是物質”。這兩個判斷中必有一個是假的。遵守矛盾律能使思維具有一貫性和不矛盾性；否則，就會犯“自相矛盾”的邏輯錯誤。故矛盾律的公式是：“甲不是非甲”

理則學上指既已肯定一事物，不能同時又否定它，若已否定它，也不得同時又肯定，即不能同時肯定又否定一事物。