This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
应用推荐