在古典逻辑中，无矛盾律（，缩写为LNC），也被称为矛盾律（），把断言命题 Q 和它的否定命题 ¬ Q 二者同时在"同一方面"为真的任何命题 P 断定为假。用亚里士多德的话说，“你不能同时声称某事物在同一方面既是又不是”。更简单的说，对于任何命题 P，P 和 ¬ P 不能同时为真。在符号上，这可表达为:formula_1为真。二值和有关规律检视了无矛盾律和类似定律的关系，比如二值原理，不应与之混淆。这条规律的根据之一，是爆炸原理，即在经典逻辑中陈述由矛盾可得一切事物的规则。它适用于归谬法的证明。爲了