无矛盾律

维基百科,自由的百科全书
跳转至: 导航搜索

古典邏輯中,无矛盾律英语:Law of noncontradiction,縮寫為LNC),也被称为矛盾律law of contradiction),把断言命题 Q 和它的否定命题¬Q 二者同时在"同一方面"为真的任何命题 P 断定为假。用亚里士多德的话说,“你不能同时声称某事物在同一方面既是又不是”。

更簡單的說,對於任何命題 P,P 和 ¬ P 不能同時為真。在符号上,这可表达为:为真。

二值和有关规律检视了无矛盾律和类似定律的关系,比如二值原理,不应与之混淆。

参见[编辑]