计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (19): 66-70.

• 理论研究、研发设计 • 上一篇    下一篇

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

李修清   

  1. 桂林航天工业学院 理学部,广西 桂林 541004
  • 出版日期:2015-09-30 发布日期:2015-10-13

Randomized truth degree and inference rules of proposition formulas

LI Xiuqing   

  1. Faculty of Science, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China
  • Online:2015-09-30 Published:2015-10-13

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

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

Abstract: Using the randomization method of valuation set, the concept of randomized truth degree of formulas is introduced 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.

Key words: proposition logic, randomized truth degree, inference rules