定义和含义

一个逻辑变量不能同时既为真还为假。

用集合的语言来表示，用集合[math]\displaystyle{ X }[/math]表示为真的逻辑变量的集合，则无矛盾律的含义是，给定任何一个逻辑变量[math]\displaystyle{ x }[/math]，[math]\displaystyle{ x\in X }[/math]和[math]\displaystyle{ x\notin X }[/math]只能有一个成立，不能同时成立。但是，这里没有否定两者都不成立的可能性。

后者，由排中律表示。