计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (16): 35-38.DOI: 10.3778/j.issn.1002-8331.2010.16.010
李友雨,张兴芳,李绍勇,屠桂晶
LI You-yu,ZHANG Xing-fang,LI Shao-yong,TU Gui-jing
School of Mathematics Science,Liaocheng University,Liaocheng,Shandong 252059,China
摘要:
利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπn-相似度与伪距离的概念,并建立了Dπn逻辑度量空间,证明了此空间没有孤立点。
中图分类号: