【摘要】：給出了經典命題邏輯系統中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];甘肅工業(yè)大學學報;2003年02期

相關碩士學位論文 前1條

1 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學;2008年

，

本文編號：2167659