摘要
给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。
This paper gives the vector representation of n-ary formula in classical propositional logic system based on random sequence and random mapping,defines the D-randomized truth degree of formulas and D-randomized similarity degree and D-randomized pseudo-metric among formulas based on the vector representation of formula,and explains that the definitions of truth degree and D-randomized pseudo-metric are equivalent to the original probability definition.Then,this paper proves that the D-randomized truth degree of n-ary formula is not more than22n cases.Finally,some simple properties of pseudo-metric among formulas are obtained based on the equivalent representation of D-randomized similarity degree and D-randomized pseudo-metric among formulas.
作者
马巧云
吴洪博
MA Qiaoyun;WU Hongbo(College of Information Engineering, Xi’an University, Xi’an 710065, China;College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China)
出处
《计算机科学与探索》
CSCD
北大核心
2017年第8期1354-1360,共7页
Journal of Frontiers of Computer Science and Technology
基金
国家自然科学基金No.61572016
西安科技计划项目No.2016CXYWL23~~
关键词
经典命题逻辑系统
D-随机真度
D-随机相似度
D-随机伪距离
classical propositional logic system
D-randomized truth degree
D-randomized similarity degree
Drandomized pseudo-metric