利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dc3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~