分类:无矛盾律
来自Big Physics
定义和含义
一个逻辑变量不能同时既为真还为假。
用集合的语言来表示,用集合[math]\displaystyle{ X }[/math]表示为真的逻辑变量的集合,则无矛盾律的含义是,给定任何一个逻辑变量[math]\displaystyle{ x }[/math],[math]\displaystyle{ x\in X }[/math]和[math]\displaystyle{ x\notin X }[/math]只能有一个成立,不能同时成立。但是,这里没有否定两者都不成立的可能性。
在集合中,我们要求任意的元素[math]\displaystyle{ x }[/math]和集合[math]\displaystyle{ X }[/math],我们可以判断[math]\displaystyle{ x\in X }[/math]与否,且不能同时成立。这是集合元素的确定性。
后者,由排中律表示。
本分类目前不含有任何页面或媒体文件。