| 经典逻辑系统中公式的真度及公式间伪距离的一种等价定义 |
| |
| 引用本文： | 马巧云,吴洪博.经典逻辑系统中公式的真度及公式间伪距离的一种等价定义[J].模糊系统与数学,2013,27(1):28-33. |
| |
| 作者姓名： | 马巧云 吴洪博 |
| |
| 作者单位： | 1. 西安文理学院数学与计算机工程学院,陕西西安,710065
2. 陕西师范大学数学与信息科学学院,陕西西安,710062 |
| |
| 基金项目： | 西安市科技计划项目(CXY1134WL10);国家自然科学基金资助项目(10871121) |
| |
| 摘 要： | 给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的.
|
| 关 键 词： | 经典命题逻辑系统 公式的向量表示 真度 伪距离 |
An Equivalent Definition about Truth Degree of Formula and Pseudo-metric among Formulas in Classical Logic System |
| |
| MA Qiao-yun
,
WU Hong-bo.An Equivalent Definition about Truth Degree of Formula and Pseudo-metric among Formulas in Classical Logic System[J].Fuzzy Systems and Mathematics,2013,27(1):28-33. |
| |
| Authors: | MA Qiao-yun WU Hong-bo |
| |
| Institution: | 1.College of Mathematics and Computer Engineering,Xi’an Science and Article University,Xi’an 710065,China;2.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
