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

摘要

By means of infinite product of uniformly distributed probability spaces of cardinal 2, this paper introduces the concept of truth degree of a logical theory Γby computing the measure of all models of Γin the valuation spaces. Simpli-fied methods to compute the divergent degree and the consistent degree of a logical theory are given and the expression to estimate the truth degree of logical conclusions from the truth degree of its premise set is obtained.%在二值命题逻辑系统中，利用势为2的均匀概率测度空间的无穷乘积，通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度，进而利用理论的真度简化了理论的发散度和相容度的计算公式，给出了由推理的前提集的真度估计其逻辑结论真度的表达式。