|
|||||
|
|
| 经典逻辑系统中的随机化再研究 | |
| 作者单位： | ;1.西安文理学院信息工程学院;2.陕西师范大学数学与信息科学学院 |
| 摘 要： | 给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。 |
| 关 键 词： | 经典命题逻辑系统 D-随机真度 D-随机相似度 D-随机伪距离 |
Restudy on Randomization of Classical Logic System |
|
| Abstract: | |
| Keywords: | |