| 逻辑系统Gn中理论的真度概念及其应用 |
| |
| 引用本文： | 高香妮,折延宏,王国俊. 逻辑系统Gn中理论的真度概念及其应用[J]. 计算机工程与应用, 2010, 46(24): 30-33. DOI: 10.3778/j.issn.1002-8331.2010.24.009 |
| |
| 作者姓名： | 高香妮 折延宏 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,西安,710062 |
| |
| 基金项目： | 国家自然科学基金，陕西师范大学211工程建设基金 |
| |
| 摘 要： | 首次在命题逻辑系统中引入理论的真度概念，使得真度的概念由公式的真度推广为公式集的真度，从而简化了发散度的概念；在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
|
| 关 键 词： | 逻辑系统Gn 理论的真度 真度 相容度 发散度 |
| 收稿时间： | 2009-05-26 |
| 修稿时间： | 2009-7-2 |
Truth degree of theory in logic system Gn and its application |
| |
| 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. DOI: 10.3778/j.issn.1002-8331.2010.24.009 |
| |
| Authors: | GAO Xiang-ni SHE Yan-hong WANG Guo-jun |
| |
| Affiliation: | College of Mathematics and Information Science,Shaanxi Normal University,Xi＇an 710062,China |
| |
| 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. |
| |
| Keywords: | logic system Gn truth degrees of logic theories truth degree consistency degree divergency degree |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
