二值命题逻辑中逻辑理论的计量化及应用

• 作者: 李骏 王菊花
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 计量逻辑学 逻辑理论 理论的真度 相容度
• 年，卷（期）: 2014,（24）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 42-46
• 页数: 5页
• 分类号: O141.1
• 字数: 6112字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1301-0205

摘要

在二值命题逻辑系统中，利用势为2的均匀概率测度空间的无穷乘积，通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度，进而利用理论的真度简化了理论的发散度和相容度的计算公式，给出了由推理的前提集的真度估计其逻辑结论真度的表达式。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	王菊花	兰州理工大学理学院	1	3	1.0	1.0