摘要
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(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.
出处
《模糊系统与数学》
CSCD
北大核心
2013年第1期28-33,共6页
Fuzzy Systems and Mathematics
基金
西安市科技计划项目(CXY1134WL10)
国家自然科学基金资助项目(10871121)
关键词
经典命题逻辑系统
公式的向量表示
真度
伪距离
Classical Propositional Logic System The Vector Representation of Formula
Truth Degree pseudo-metric
