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

Randomized truth degree and inference rules of proposition formulas

在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。

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 Drooerties. The MP rule. HS rule and meet inference rules of randomized truth degree are proved.