本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
赋值密度函数概率真度推理规则相似度伪距离。
Valuation density probability truth degree inference rule similarity degree pseudo-distance.
应用推荐