欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：