虽然经典命题逻辑在理论上已经趋于成熟，它既是可靠的又是完备的，但在现实世界中并不是每个命题均可直接用真与假来判断。很显然，对未来事件进行判断的命题既不真也不假。为了改进经典命题逻辑的这种不足，本文在深入研究经典命题逻辑的基础上，以Lukasiewicz计算模型为基础，通过扩展经典命题逻辑的逻辑真值集，并采用扩展后的逻辑真值构成的赋值格对命题进行赋值。由此本文提出六值命题逻辑系统，记为￡s。系统中否定了经典命题逻辑中的排中律，增加了对命题判断的多样性，增强了它对现实世界的表达能力。
经典命题逻辑 Lukasiewicz计算模型 六值命题逻辑