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

• 作者: 吴洪博 马巧云
• 来源期刊: 计算机科学与探索
• 学科: 数学
• 关键词: 经典命题逻辑系统 D-随机真度 D-随机相似度 D-随机伪距离
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 理论与算法
• 页码范围: 1354-1360
• 页数: 7页
• 分类号: O141
• 字数: 4752字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1701001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	马巧云	西安文理学院信息工程学院	22	45	4.0	6.0