Truth degree of theory in logic system Gn and its application

doi:10.3778/j.issn.1002-8331.2010.24.009

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (24): 30-33.DOI: 10.3778/j.issn.1002-8331.2010.24.009

• 研究、探讨 • Previous Articles Next Articles

Truth degree of theory in logic system G_n and its application

GAO Xiang-ni，SHE Yan-hong，WANG Guo-jun

College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China

Received:2009-05-26 Revised:2009-07-02 Online:2010-08-21 Published:2010-08-21
Contact: GAO Xiang-ni

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

高香妮，折延宏，王国俊

陕西师范大学数学与信息科学学院，西安 710062

通讯作者: 高香妮

Abstract

Abstract: The concept of truth degrees of logic theories is proposed firstly in propositional logic systems，and this concept is generalized from individual to collective.The concept of divergency degree can be simplified thereby.Relations of truth degrees，as well as consistency degrees and divergency degrees of logic theories Γ1,Γ2 andΓ1∪Γ2 are compared in the logic system G_n.

Key words: logic system G_n, truth degrees of logic theories, truth degree, consistency degree, divergency degree

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

关键词: 逻辑系统G_n, 理论的真度, 真度, 相容度, 发散度

CLC Number:

O141.1

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.

高香妮，折延宏，王国俊. 逻辑系统G_n中理论的真度概念及其应用[J]. 计算机工程与应用, 2010, 46(24): 30-33.

[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]	WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator [J]. Computer Engineering and Applications, 2018, 54(19): 68-71.
[4]	ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao. Theory of truth degree in Gödel [n]-valued propositional logic system [J]. Computer Engineering and Applications, 2017, 53(11): 67-72.
[5]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[6]	ZHANG Chaoquan, LI Xiuqing. Distribution of randomized divergence degree of theory in 3-valued propositional logical system [J]. Computer Engineering and Applications, 2017, 53(1): 69-72.
[7]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[8]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[9]	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.
[10]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[11]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[12]	MA Qiaoyun. [ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 34-37.
[13]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[14]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.
[15]	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.

Truth degree of theory in logic system G_n and its application

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Truth degree of theory in logic system Gn and its application

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Truth degree of theory in logic system G_n and its application

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