计算机科学与探索 ›› 2017, Vol. 11 ›› Issue (8): 1354-1360.DOI: 10.3778/j.issn.1673-9418.1701001
• 理论与算法 • 上一篇
马巧云1+,吴洪博2
MA Qiaoyun1+, WU Hongbo2
摘要: 给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有 22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。