基于Lukasiewicz计算模型的六值命题逻辑公理体系构建

On the System Construction of the Multi-Value Logic Axiom in Lukasiewicz-based Computation Model

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

Although the classical propositional logic in theory has become mature, it is not only relia-ble and complete, but in the real world, not every proposition can be directly used to judge true and false. Obviously, the judgment of future events is neither true nor false proposition. In order to improve the short-comings of classical propositional logic, based on the in - depth study of classical propositional logic, based on the Lukasiewicz model, through the extension of classical propositional logic logic truth value set,and uses the extended logic truth value assignment of proposition in lattice structure assignment. This paper puts forward six valued propositional logic system￡ s, system of negation in classical propositional logic lawof excluded middle, increase the diversity of the proposition of judgment, it enhances the ability of express- ing the real world.