The conceptions of DL3-similarity degree and pseudo-metric on two formulas are given. DL3-logic metric space is built. And it is proved that this space has no isolated point.
给出了两公式间的DL3 -相似度与伪距离的概念，并建立了DL3 -逻辑度量空间，证明了此空间没有孤立点。
youdao
应用推荐
模块上移
模块下移
不移动