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

Computer Engineering and Applications ›› 2014, Vol. 50 ›› Issue (24): 42-46.

Previous Articles Next Articles

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

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

李骏，王菊花

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

Abstract

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

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

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

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.

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

[1]	QIN Xiaoyan. Quasi-Truth Degree of First-Order Formula After Using Generalization Rule [J]. Computer Engineering and Applications, 2019, 55(6): 39-41.
[2]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[3]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[4]	LI Jun, LI Xiaobing. Average truth degree and deviation of theory in Lukasiewicz logical system [J]. Computer Engineering and Applications, 2016, 52(4): 42-45.
[5]	LI Jun, ZHENG Gang. Theory of probabilistic truth degree of propositions in n-valued S-MTL logic system [J]. Computer Engineering and Applications, 2014, 50(2): 39-43.
[6]	GAO Xiang-ni，SHE Yan-hong，WANG Guo-jun. Truth degree of theory in logic system G_n and its application [J]. Computer Engineering and Applications, 2010, 46(24): 30-33.
[7]	HAN Bang-he^1，2，LI Yong-ming^1，3. Convergency theory in quantitative logic [J]. Computer Engineering and Applications, 2009, 45(30): 4-5.
[8]	HAN Bang-he ^1，2，LI Yong-ming ^1，3. Error accumulation theory in quantitative logic [J]. Computer Engineering and Applications, 2009, 45(23): 9-10.
[9]	MENG Guang-wu,ZHANG Xing-fang. Short consistency degrees of finite theories in propositional fuzzy logic system [J]. Computer Engineering and Applications, 2009, 45(18): 51-53.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 9

Recommended Articles

Metrics