通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差。本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正。本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解。
By studying of Quantitative Logic in depth, the existence of deviations of comprehension to degree of similarity, logic distance between formulas is found in quantitative logic, and these deviations originate from that of comprehension to properties of degree of similarity. The target of the present paper is to make some structures of counter examples to illustrate the existence of the deviations and to give some propositions to revise them. The work of this paper is helpful for a further understanding of the degree of similaritY, logic distance between formulas in quantitative logic.