Distributing of truth degree with formulas by one atom or two atom based on Gödel system

doi:10.3778/j.issn.1002-8331.2009.14.015

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (14): 56-57.DOI: 10.3778/j.issn.1002-8331.2009.14.015

• 研究、探讨 • Previous Articles Next Articles

Distributing of truth degree with formulas by one atom or two atom based on Gödel system

LI You-yu,ZHANG Xing-fang,LI Cheng-yun

School of Mathematics Science，Liaocheng University，Liaocheng，Shandong 252059，China

Received:2008-10-07 Revised:2008-12-24 Online:2009-05-11 Published:2009-05-11
Contact: LI You-yu

Gödel中单个或两个原子生成公式的真度分布

李友雨,张兴芳,李成允

聊城大学数学科学学院，山东聊城 252059

通讯作者: 李友雨

Abstract

Abstract: This paper gives a distributing of truth degree with formulas generated by one atom or two atom based on Gödel system.Furthmore，a detailed classifation of F（p），F（p，q） is provided.

Key words: Gö, del system, logical formula, truth degree

摘要： 以Gödel系统为背景，针对由单个或两个原子生成的公式，解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0，1/6，2/6，1/2，4/6，5/6，1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。

关键词: Gö, del系统, 逻辑公式, 真度

LI You-yu,ZHANG Xing-fang,LI Cheng-yun. Distributing of truth degree with formulas by one atom or two atom based on Gödel system[J]. Computer Engineering and Applications, 2009, 45(14): 56-57.

李友雨,张兴芳,李成允. Gödel中单个或两个原子生成公式的真度分布[J]. 计算机工程与应用, 2009, 45(14): 56-57.

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

Distributing of truth degree with formulas by one atom or two atom based on Gödel system

Gödel中单个或两个原子生成公式的真度分布

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics