| 二值命题逻辑中命题的矛盾度理论 |
| |
| 引用本文： | 李海霞,吴洪博. 二值命题逻辑中命题的矛盾度理论[J]. 云南师范大学学报(自然科学版), 2007, 27(6): 5-9 |
| |
| 作者姓名： | 李海霞 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目(10471083)，陕西师范大学重点科研项目基金(995130) |
| |
| 摘 要： | 与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。
|
| 关 键 词： | 模糊逻辑 矛盾度 升级算法 差异度 伪距离 |
| 文章编号： | 1007-9793（2007）06-0005-05 |
| 修稿时间： | 2007-04-19 |
Theory of Contradiction Degree of Proposition in Two-valued Propositional Logic |
| |
| Li Hai-xia,Wu Hong-bo. Theory of Contradiction Degree of Proposition in Two-valued Propositional Logic[J]. Journal of Yunnan Normal University (Natural Sciences Edition), 2007, 27(6): 5-9 |
| |
| Authors: | Li Hai-xia Wu Hong-bo |
| |
| Abstract: | |
| |
| Keywords: | fuzzy logic contradiction degree upgrade algorithm difference degree pseudo-metric. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
