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

• 作者: 李修清
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 命题逻辑 随机真度 推理规则
• 年，卷（期）: 2015,（19）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 66-70
• 页数: 5页
• 分类号: O141.1
• 字数: 6770字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1309-0401

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李修清	桂林航天工业学院理学部	53	141	5.0	10.0