论文研究三值乘积逻辑系统.pdf

上传：qq_31102354 浏览： 22 推荐： 0 文件：PDF 大小：581.38KB 上传时间：2020-02-22 07:55:31 版权申诉

利用赋值集的随机化方法，在三值乘积逻辑∏3提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的D∏3-相似度与伪距离的概念，并建立了D∏3-逻辑度量空间，证明了此空间没有孤立点。