| 二值逻辑的D-条件真度理论 |
| |
| 引用本文： | 高香妮,王国俊. 二值逻辑的D-条件真度理论[J]. 云南师范大学学报(自然科学版), 2009, 29(6): 10-13 |
| |
| 作者姓名： | 高香妮 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目，陕西师范大学211工程建设基金 |
| |
| 摘 要： | 文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。
|
| 关 键 词： | D-随机真度 D-条件真度 D-条件相似度 D-条件逻辑伪距离 |
Truth Degree of Logic Theory in Propositional Logic Systems and its Application |
| |
| GAO Xiang-ni,WANG Guo-jun. Truth Degree of Logic Theory in Propositional Logic Systems and its Application[J]. Journal of Yunnan Normal University (Natural Sciences Edition), 2009, 29(6): 10-13 |
| |
| Authors: | GAO Xiang-ni WANG Guo-jun |
| |
| Affiliation: | (College of Mathematics and Information Science, Shaanxi Normal University Xi＇an 710062, Shaanxi, China) |
| |
| Abstract: | Based on D- random truth degrees and conditional truth degrees of two valual propositional logical formulas, the concepts of D- conditional truth degrees and the corresponding properties are intruduced. In logical metric space （ F（S） ,ρD） , the concepts of contradiction and tautology based on Fwith the concepts of logical equivalence based on F between formulas A and B are given ; then the concepts of D- conditional similarity degrees and D- conditional logical pseudodistance and the corresponding properties are also discussed. |
| |
| Keywords: | D- random truth Degree D- conditional truth degree D- conditional similarity degree D- con- ditional logical pseudo-distance |
| 本文献已被 维普 万方数据 等数据库收录！ |
