经典逻辑系统中公式的真度及公式间伪距离的一种等价定义  

An Equivalent Definition about Truth Degree of Formula and Pseudo-metric among Formulas in Classical Logic System

作　　者：马巧云[1] 吴洪博[2] 

机构地区：[1]西安文理学院数学与计算机工程学院,陕西西安710065 [2]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2013年第1期28-33,共6页Fuzzy Systems and Mathematics

基　　金：西安市科技计划项目(CXY1134WL10);国家自然科学基金资助项目(10871121)

摘　　要：给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的。The vector representation of formula is given in classical propositional logic system , the truth degree of formulas and pseudo-metric among formulas are defined, It is explained that the definitions of truth degree and pseudo-metric are equivalent to the original probability definition. Some simple properties of pseudo-metric among formulas is obtained, it is proved that connectives in pseudo-metric space is continuous.

关 键 词：经典命题逻辑系统 公式的向量表示 真度 伪距离 

分 类 号：O141[理学—数学]