Reasonable solutions for generalized MP problems in propositional logic

doi:10.3778/j.issn.1002-8331.2010.01.012

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (1): 37-38.DOI: 10.3778/j.issn.1002-8331.2010.01.012

• 研究、探讨 • Previous Articles Next Articles

Reasonable solutions for generalized MP problems in propositional logic

LI Jun¹，LI Cai-hong¹，ZHOU Yan²

1.School of Science，Lanzhou University of Technology，Lanzhou 730050，China
2.S & C Basics Teaching and Research Section，Xi’an Military Academy，Xi’an 710108，China

Received:2009-01-12 Revised:2009-03-13 Online:2010-01-01 Published:2010-01-01
Contact: LI Jun

命题逻辑中广义MP问题的合理解

李骏¹，李彩红¹，周艳²

1.兰州理工大学理学院，兰州 730050
2.西安陆军学院科学文化基础教研室，西安 710108

通讯作者: 李骏

Abstract

Abstract: By means of truth degrees of formulas，this paper puts forward a new concept of sustentation degree among formulas in classical propositional logic.Reasonable solution based on the idea of sustentation degree for problems of generalized modus ponens is introduced，and the existence theorem of reasonable solutions is proved.

Key words: GMP problem, truth degrees, sustentation degree, reasonable solution

摘要： 在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度，利用支持度的思想引入了广义MP问题的一种新型合理求解机制，并证明了合理解的存在性。

关键词: GMP问题, 真度, 支持度, 合理解

CLC Number:

O141.1

LI Jun¹，LI Cai-hong¹，ZHOU Yan². Reasonable solutions for generalized MP problems in propositional logic[J]. Computer Engineering and Applications, 2010, 46(1): 37-38.

李骏¹，李彩红¹，周艳². 命题逻辑中广义MP问题的合理解[J]. 计算机工程与应用, 2010, 46(1): 37-38.

[1]	XUE Zhan-ao，WEI Li-ping，CEN Feng，LI Xia. Theory of a-truth degrees in Lukasiewicz interval-valued propositional logic system [J]. Computer Engineering and Applications, 2010, 46(26): 40-42.
[2]	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.
[3]	SONG Ying，ZHANG Xing-fang. Stochastic truth degrees in n-valued propositional logic [J]. Computer Engineering and Applications, 2010, 46(13): 31-33.
[4]	SONG Ying，ZHANG Xing-fang. Theory of α-stochastic truth degrees in Gödel n-valued propositional logic [J]. Computer Engineering and Applications, 2009, 45(31): 40-42.

Reasonable solutions for generalized MP problems in propositional logic

命题逻辑中广义MP问题的合理解

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 4

Recommended Articles

Metrics