三值逻辑系统W_3中的随机化研究

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