文件名称:论文研究-二值命题逻辑中逻辑理论的计量化及应用.pdf
文件大小:576KB
文件格式:PDF
更新时间:2022-10-02 04:43:02
论文研究
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论[Γ]的全体模型占整个赋值空间的测度定义了理论[Γ]的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结论真度的表达式。
文件名称:论文研究-二值命题逻辑中逻辑理论的计量化及应用.pdf
文件大小:576KB
文件格式:PDF
更新时间:2022-10-02 04:43:02
论文研究
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论[Γ]的全体模型占整个赋值空间的测度定义了理论[Γ]的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结论真度的表达式。