矛盾律contradiction，lawof
　　传统逻辑基本规律之一。又称不矛盾律。它通常被表述为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>\neg(p\wedge\negp).\,</math>
二值和有关规律检视了无矛盾律和类似定律的关系，比如二值原理，不应与之混淆。