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

摘要：

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

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

所属期刊栏目：11

分类号：O141(数理逻辑、数学基础)

资助基金：The National Natural Science Foundation of China under Grant No. 61572016;the Science and Technology Planning Project of Xi'an under Grant No. 2016CXYWL23

在线出版日期：2017-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1354-1360