无矛盾律
矛盾律contradiction，law of
传统逻辑基本规律之一。又称不矛盾律。它通常被表述为A不是非A，或A不能既是B又不是B。在传统逻辑里 ，矛盾律首先是作为事物规律提出来的，意为任一事物不能同时既具有某属性又不具有某属性。它作为思维规律，则是任一命题不能既真又不真。矛盾律也被当作一种关于认识活动的规范性规律，意为任何人不应同时断定一个命题 (A)及其否定 (并非A)。这就是说，对一个命题及其否定不应持两可之说，以免自相矛盾。矛盾律还被看成是关于逻辑语义的规律，即在同一上下文中，同一语词或语句不应既表述某一思想又不表述某一思想。违背了矛盾律的要求，思维就会陷入逻辑矛盾(A并且非A) 。而任何包含逻辑矛盾的思想又总是错误的，所以思想的无矛盾性是正确思维不可缺少的条件，也是构造一个理论体系的重要原则之一。在现代逻辑中，(A∧A) ( 读作A并且非A是假的 )，是矛盾律在命题逻辑中的体现；x(F（x)∧F(x)) (读作并非存在着一个个体x，x既有性质F又没有性质F)，是矛盾律在谓词逻辑中的体现。
在逻辑中，无矛盾律把断言命题 Q 和它的否定命题非-Q 二者同时在"同一方面"为真的任何命题 P 断定为假。用亚里士多德的话说，“你不能同时声称某事物在同一方面既是又不是”。
更简练的说，对于任何命题 P，P 和非-P 不能同时在场。在符号上，这可表达为
<math>
eg (P wedge
eg P)., </math>
二值和有关规律检视了无矛盾律和类似定律的关系，比如二值原理，不应与之混淆。