欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
给出了经典命题逻辑中公式的向量表示形式，利用向量表示形式给出公式的真度和公式间伪距离的定义，说明了这种定义与原有的概率形式的定义等价，得到了公式间的伪距离的一些简单性质以及在伪距离空间（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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：