矛盾律是形式邏輯的基本規律之一，它指出在同一思維過程中，對於同一對象，不能同時作出兩個互相矛盾的判斷，即不能既肯定它又否定它。例如，不能同時說「水是物質」和「水不是物質」，這兩個判斷中必有一個是錯誤的。矛盾律的公式可以表述為「A必不非A」或「A不能既是B又不是B」。這一律則確保了思維的一致性和不矛盾性，違反它會導致自相矛盾的邏輯錯誤。
矛盾律與排中律是邏輯學中的兩個基本原則，它們之間存在密切關係。排中律指出在兩個互斥的命題中，必有一個為真，另一個為假，不存在第三種可能性。矛盾律是排中律的互補原則，它強調一個命題和其否定命題不能同時為真，必須有一個為真，另一個為假。這兩個律則共同構成了邏輯學中的基本原則，為邏輯推理和論證提供了重要的基礎。
矛盾律的套用範圍廣泛，它不僅適用於命題邏輯，也適用於謂詞邏輯、模態邏輯等各種邏輯系統。在概念方面，矛盾律要求不能在同一思維過程中使用兩個互相矛盾或反對的概念指稱同一個對象，否則會出現邏輯矛盾。在判斷方面，矛盾律要求一個判斷不能既斷定某對象是什麼，又斷定它不是什麼，必須確認其中有一個是假的。