二值命题逻辑系统的不可靠度及F度累积定理

• 作者: 任潘龙 惠小静 郑凤仙 高青青
• 来源期刊: 山东大学学报（工学版）
• 学科: 数学
• 关键词: 二值命题逻辑系统 有效推理 概率 随机真度 F度
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 其他
• 页码范围: 101-104,110
• 分类号: O141
• 语种: 中文
• DOI: 10.6040/j.issn.1672-3961.3.2012.036

摘要

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系.最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0
2	任潘龙	延安大学数学与计算机科学学院	3	3	1.0	1.0
3	郑凤仙	延安大学数学与计算机科学学院	1	1	1.0	1.0
4	高青青	延安大学数学与计算机科学学院	1	1	1.0	1.0