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

计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (24): 42-46.

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

李骏，王菊花

兰州理工大学理学院，兰州 730050

出版日期:2014-12-15 发布日期:2014-12-12

Quantification of logic theory in two-valued propositional logic and its applications

LI Jun, WANG Juhua

School of Science, Lanzhou University of Technology, Lanzhou 730050, China

Online:2014-12-15 Published:2014-12-12

摘要/Abstract

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

关键词: 计量逻辑学, 逻辑理论, 理论的真度, 相容度

Abstract: 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. Simplified 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.

Key words: quantitative logic, logical theory, truth degree of logical theory, consistency degree

李骏，王菊花. 二值命题逻辑中逻辑理论的计量化及应用[J]. 计算机工程与应用, 2014, 50(24): 42-46.

LI Jun, WANG Juhua. Quantification of logic theory in two-valued propositional logic and its applications[J]. Computer Engineering and Applications, 2014, 50(24): 42-46.

[1]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[2]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[3]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[4]	李骏，郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[J]. 计算机工程与应用, 2014, 50(2): 39-43.
[5]	高香妮，折延宏，王国俊. 逻辑系统G_n中理论的真度概念及其应用[J]. 计算机工程与应用, 2010, 46(24): 30-33.
[6]	韩邦合^1，2，李永明^1，3. 计量逻辑学中的收敛理论[J]. 计算机工程与应用, 2009, 45(30): 4-5.
[7]	韩邦合^1，2，李永明^1，3 . 计量逻辑学中的误差累计理论 [J]. 计算机工程与应用, 2009, 45(23): 9-10.
[8]	孟广武,张兴芳. 命题模糊逻辑系统中有限理论的弱相容度[J]. 计算机工程与应用, 2009, 45(18): 51-53.