命题逻辑系统中理论的真度概念及其应用

首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论Γ相容时,理论的真度与相容度之间的关系为η(Γ)=(1+τ(Γ))/2;在命题逻辑系统C2中,将理论Γ1和Γ2分为六类,分别讨论了各类中理论Γ1、Γ2与Γ1∪Γ2的真度之间的关系.

逻辑系统G_n中理论的真度概念及其应用

首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。

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

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