计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (24): 30-33.DOI: 10.3778/j.issn.1002-8331.2010.24.009
• 研究、探讨 • 上一篇 下一篇
高香妮，折延宏，王国俊
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
GAO Xiang-ni，SHE Yan-hong，WANG Guo-jun
Received:
Revised:
Online:
Published:
Contact:
摘要： 首次在命题逻辑系统中引入理论的真度概念，使得真度的概念由公式的真度推广为公式集的真度，从而简化了发散度的概念；在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
关键词: 逻辑系统Gn, 理论的真度, 真度, 相容度, 发散度
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 Gn.
Key words: logic system Gn, truth degrees of logic theories, truth degree, consistency degree, divergency degree
中图分类号:
O141.1
高香妮，折延宏，王国俊. 逻辑系统Gn中理论的真度概念及其应用[J]. 计算机工程与应用, 2010, 46(24): 30-33.
GAO Xiang-ni，SHE Yan-hong，WANG Guo-jun. Truth degree of theory in logic system Gn and its application[J]. Computer Engineering and Applications, 2010, 46(24): 30-33.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2010.24.009
http://cea.ceaj.org/CN/Y2010/V46/I24/30
