Type of conclusions and classification of theories in two-valued propositional logic

doi:10.3778/j.issn.1002-8331.2009.03.018

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (3): 64-65.DOI: 10.3778/j.issn.1002-8331.2009.03.018

• 研究、探讨 • Previous Articles Next Articles

Type of conclusions and classification of theories in two-valued propositional logic

WANG Ting-ming

Department Mathematics，College of Teachers，Qingdao University，Qingdao，Shandong 266071，China

Received:2008-01-07 Revised:2008-04-28 Online:2009-01-21 Published:2009-01-21
Contact: WANG Ting-ming

二值命题逻辑理论的结论类型和分类

王廷明

青岛大学师范学院，山东青岛 266071

通讯作者: 王廷明

Abstract

Abstract: Based on the notion of truth degrees of formulas，type of conclusions deduced by finite theories in two-valued propositional logic is investigated.Classification of theories based on the truth degrees of formulas，respectively，based on logical equivalence is studied.Especially，a theorem about classification is obtained and the similarity relation between conclusions deduced by one theory is given.

Key words: propositional formula, principal disjunctive normal form, truth degree, similarity degree

摘要： 以公式真度为基础，研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题，给出了分类定理以及同一理论结论的相似度的一个下界。

关键词: 命题公式, 主析取范式, 真度, 相似度

WANG Ting-ming. Type of conclusions and classification of theories in two-valued propositional logic[J]. Computer Engineering and Applications, 2009, 45(3): 64-65.

王廷明. 二值命题逻辑理论的结论类型和分类[J]. 计算机工程与应用, 2009, 45(3): 64-65.

[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]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[5]	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.
[6]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[7]	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.
[8]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[9]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[10]	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.
[11]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[12]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[13]	MA Qiaoyun. [ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 34-37.
[14]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[15]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.

Type of conclusions and classification of theories in two-valued propositional logic

二值命题逻辑理论的结论类型和分类

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics