两个特殊逻辑系统G_n和Π_n中的相似度与伪距离

Similarity Degree and Pseudo-distance in Two Special Logical Systems G_n and Π_n

利用由均匀概率空间的无穷乘积所定义的Gn及Πn中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn及Πn中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。

By use of true degree concept in Gn and ∏n. this paper illustrates a new definition about the similarity of formula and discusses the relationship with reference No.2 and reference No. 6 and the characteristics of similarity in Gn and ∏n. Consequently, the author points out the importance of pseudo-distance in these two logical systems.