无矛盾律

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

逻辑中,无矛盾律(也有人称为矛盾律)把断言命题 Q 和它的否定命题非-Q 二者同时在"同一方面"为真的任何命题 P 断定为假。用亚里士多德的话说,“你不能同时声称某事物在同一方面既是又不是”。

更简练的说,对于任何命题 P,P 和非-P 不能同时在场。在符号上,这可表达为: \neg (P \wedge \neg P)\, 为真。

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

参见[编辑]