论文研究 二值命题逻辑中逻辑理论的计量化及应用.pdf

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