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

Randomized truth degree and inference rules of proposition formulas

作　　者：李修清[1] 

机构地区：[1]桂林航天工业学院理学部,广西桂林541004

出　　处：《计算机工程与应用》2015年第19期66-70,共5页Computer Engineering and Applications

基　　金：广西壮族自治区教育厅科研项目(No.桂教科研[2011]14号)

摘　　要：在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.

关 键 词：命题逻辑 随机真度 推理规则 

分 类 号：O141[理学—数学]