The conceptions of D(subscript G3)-similarity degree and pseudo-metric on two formulae were given.D(subscript G3)-logic metric space was built.It was proved that this space has no isolated point.

• 给出了两公式间的D(下标G3)-相似度与伪距离的概念，并建立了D(下标G3)-逻辑度量空间，证明了此空间没有孤立点。