也叫不矛盾律。形式逻辑的基本规律之一。指思维必须是首尾一贯的，不能自相矛盾。也就是在同一思维过程中，在同一时间、同一意义上，对同一个问题作的两个相反的判断，不能都是真的。如对“甲是乙”和“甲不是乙”两个判断，不能都加以肯定，至少要否定一个。违反这条规律，就会犯自相矛盾的错误。矛盾律并不否认两个相反的判断可以都是假的，可以有第三种可能。