T-truth degree theory in two-valued propositional logic system（I）

doi:10.3778/j.issn.1002-8331.2010.10.011

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (10): 33-35.DOI: 10.3778/j.issn.1002-8331.2010.10.011

• 研究、探讨 • Previous Articles Next Articles

T-truth degree theory in two-valued propositional logic system（I）

WANG Ting-ming

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

Received:2008-10-08 Revised:2009-01-16 Online:2010-04-01 Published:2010-04-01
Contact: WANG Ting-ming

二值命题逻辑系统的T-真度理论（I）

王廷明

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

通讯作者: 王廷明

Abstract

Abstract: This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.And the T-similarity and the T-pseudo metric of formulae are defined.Meanwhile the T-truth degree expression of the T-pseudo metric in conclusion set is gotten under the finite theory.So these studies can become the numerical identification of approximate reasoning problems which is based on the T-truth degree in two-valued propositional logic.

Key words: two-valued propositional logic, truth degree, T-truth degree, T-similarity, T-pseudo metric

摘要： 在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离，得到了公式到有限理论结论集的T-伪距离的T-真度表示式，为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。

关键词: 二值命题逻辑, 真度, T-真度, T-相似度, T-伪距离

CLC Number:

O141.3

WANG Ting-ming. T-truth degree theory in two-valued propositional logic system（I）[J]. Computer Engineering and Applications, 2010, 46(10): 33-35.

王廷明. 二值命题逻辑系统的T-真度理论（I）[J]. 计算机工程与应用, 2010, 46(10): 33-35.

[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.

T-truth degree theory in two-valued propositional logic system（I）

二值命题逻辑系统的T-真度理论（I）

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics