古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。而三值逻辑加入了一个既不是"真"也不是"假"的第三个真值。第三值的加入导致了经典的同一律、矛盾律和排中律的失效,但是可以构造出在三值逻辑中依然普遍有效的新的矛盾律和排中律。在二值逻辑系统中的存在永真式和永假式,但是对于三值逻辑永"不确定"式的存在是未知的。在对三值逻辑中永"不确定"式的存在性论证的过程中,可以发现当一个三值逻辑系统是经典命题逻辑系统的扩张时,它就不存在永"不确定"式。
科研之友
微信
新浪微博
Facebook
分享链接
