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

发布时间：2018-08-06 11:56

【摘要】：给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。
[Abstract]:In this paper, the vector representation of n-ary propositional formula based on random number sequence and random mapping in classical propositional logic system is given, and the D- random truth degree of the formula is given by using the vector representation of propositional formula based on random number sequence. The equivalent representation of D- random similarity and D- random pseudo-distance between formulas. It is shown that there are only 22 n cases of D- random truth degree of a particular n-variable classical propositional formula. By using the equivalent expressions of D- random similarity and D- random pseudo-distance between propositional formulas, some new proofs about D- random truth of propositional formulas, D- random similarity between propositional formulas and D- random pseudo-distance are given.
【作者单位】： 西安文理学院信息工程学院;陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金No.61572016 西安科技计划项目No.2016CXYWL23~~
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 曲铁平;;关于α-相似度与伪距离的几个结论[J];科技视界;2012年21期

2 吴洪博,文秋梅;积分语义学中的积分相似度与伪距离[J];陕西师范大学学报(自然科学版);2000年03期

3 马巧云;吴洪博;;经典逻辑系统中公式的真度及公式间伪距离的一种等价定义[J];模糊系统与数学;2013年01期

4 崔美华;;模糊逻辑系统中公式的积分真度和伪距离[J];工程数学学报;2010年05期

5 李骏,袁和军;积分语义学中的积分相似度、伪距离与近似推理理论[J];陕西师范大学学报(自然科学版);2002年01期

6 王廷明;;D-逻辑伪距离不等式与近似推理[J];昆明理工大学学报(理工版);2009年02期

7 刘艳,郑慕聪;Lukasiewicz多值逻辑系统中的相似度及伪距离[J];西安科技大学学报;2005年02期

8 崔美华;;逻辑系统Luk中公式间的伪距离[J];模糊系统与数学;2010年04期

9 于西昌;陈怀进;谭桂梅;;公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年27期

10 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

相关硕士学位论文 前1条

1 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

，

本文编号：2167659