论文研究逻辑系统G3中命题的D3随机真度理论.pdf

通过引入随机向量序列对赋值集进行随机化，在逻辑系统G3中提出了公式的D3-随机真度的概念，证明了全体公式的D3-随机真度之集在[0，1]中没有孤立点；提出了D3-相似度和D3-伪距离，证明了在D3-逻辑度量空间中没有孤立点；在D3-逻辑度量空间中提出3种不同类型的近似推理模式；引入公式间的相容与独立的概念，研究了其关系。为进一步研究随机推理奠定了基础。