概率逻辑学基本定理的推广及其应用

• 作者: 李燕
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 随机真度 随机不可靠度 随机伪距离 随机逻辑度量空间
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 理论与研发
• 页码范围: 54-56,76
• 页数: 4页
• 分类号: O142
• 字数: 6156字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1503-0076

摘要

利用赋值集的随机化方法，在n值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李燕	桂林航天工业学院信息工程系	36	175	7.0	12.0