计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (24): 30-33.DOI: 10.3778/j.issn.1002-8331.2010.24.009

• 研究、探讨 • 上一篇    下一篇

逻辑系统Gn中理论的真度概念及其应用

高香妮,折延宏,王国俊   

  1. 陕西师范大学 数学与信息科学学院,西安 710062
  • 收稿日期:2009-05-26 修回日期:2009-07-02 出版日期:2010-08-21 发布日期:2010-08-21
  • 通讯作者: 高香妮

Truth degree of theory in logic system Gn and its application

GAO Xiang-ni,SHE Yan-hong,WANG Guo-jun   

  1. College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China
  • Received:2009-05-26 Revised:2009-07-02 Online:2010-08-21 Published:2010-08-21
  • Contact: GAO Xiang-ni

摘要: 首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统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

中图分类号: