经典逻辑系统中的随机化再研究

来源：计算机科学与探索杂志2017年第8期北京时间：

作者：马巧云，吴洪博

单位：1. 西安文理学院 信息工程学院，西安 7100652. 陕西师范大学 数学与信息科学学院，西安 710062

摘要：给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式，利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式，给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。

关键词：经典命题逻辑系统,D-随机真度,D-随机相似度,D-随机伪距离