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

摘要：

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

关键词：计量逻辑学、逻辑理论、理论的真度、相容度

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

资助基金：国家自然科学基金No.11261032；兰州理工大学博士基金资助项目。

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

页数：共5页

页码：42-46