四值gdel命题逻辑系统中公式的概率真度理论

在四值gdel命题逻辑系统中提出了公式的概率真度,证明了全体公式的概率真度值之集在[0,1]中没有孤立点；定义了两个公式间的概率相似度,建立了概率逻辑度量空间,证明了此空间中没有孤立点,为研究四值gdel命题逻辑系统的近似推理提供了思路。