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

摘要：

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

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

分类号：O141.1(数理逻辑、数学基础)

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

在线出版日期：2015-10-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：66-70