【摘要】：給出了經(jīng)典命題邏輯系統(tǒng)中n元命題公式基于隨機(jī)數(shù)列和隨機(jī)映射的向量表示形式,利用命題公式的基于隨機(jī)數(shù)列的向量表示形式給出公式的D-隨機(jī)真度、公式間的D-隨機(jī)相似度和D-隨機(jī)偽距離的等價(jià)表示形式。說明了一個(gè)具體的n元經(jīng)典命題公式的D-隨機(jī)真度最多只有22n種情況。利用命題公式間的D-隨機(jī)相似度和D-隨機(jī)偽距離的等價(jià)表示形式,給出了關(guān)于命題公式的D-隨機(jī)真度、命題公式間的D-隨機(jī)相似度和D-隨機(jī)偽距離的一些性質(zhì)的新的證明。
[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.
【作者單位】： 西安文理學(xué)院信息工程學(xué)院;陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金No.61572016 西安科技計(jì)劃項(xiàng)目No.2016CXYWL23~~
【分類號(hào)】：O141

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 曲鐵平;;關(guān)于α-相似度與偽距離的幾個(gè)結(jié)論[J];科技視界;2012年21期

2 吳洪博,文秋梅;積分語(yǔ)義學(xué)中的積分相似度與偽距離[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年03期

3 馬巧云;吳洪博;;經(jīng)典邏輯系統(tǒng)中公式的真度及公式間偽距離的一種等價(jià)定義[J];模糊系統(tǒng)與數(shù)學(xué);2013年01期

4 崔美華;;模糊邏輯系統(tǒng)中公式的積分真度和偽距離[J];工程數(shù)學(xué)學(xué)報(bào);2010年05期

5 李駿,袁和軍;積分語(yǔ)義學(xué)中的積分相似度、偽距離與近似推理理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年01期

6 王廷明;;D-邏輯偽距離不等式與近似推理[J];昆明理工大學(xué)學(xué)報(bào)(理工版);2009年02期

7 劉艷,鄭慕聰;Lukasiewicz多值邏輯系統(tǒng)中的相似度及偽距離[J];西安科技大學(xué)學(xué)報(bào);2005年02期

8 崔美華;;邏輯系統(tǒng)Luk中公式間的偽距離[J];模糊系統(tǒng)與數(shù)學(xué);2010年04期

9 于西昌;陳懷進(jìn);譚桂梅;;公式概率真度的相似度及偽距離[J];計(jì)算機(jī)工程與應(yīng)用;2010年27期

10 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進(jìn)的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年02期

相關(guān)碩士學(xué)位論文 前1條

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

，

本文編號(hào)：2167659