命题公式的随机真度与推理规则

摘要

Using the randomization method of valuation set, the concept of randomized truth degree of formulas is intro-duced into n-valued Lukasiewicz propositional logic system. It gives a randomized truth degree’s calculation formula, and researchs its properties. The MP rule, HS rule and meet inference rules of randomized truth degree are proved.%在n值Lukasiewicz命题逻辑系统中，引入命题随机真度的概念，给出了随机真度的一个计算公式，研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。