全部

1·These cannot be solved by the compactness hypothesis unless some metric is assumed that replaces the similarity measured by counting differences in predicates.

离散的逻辑表示问题无法用紧性假设来解决，除非一些度量方法如相似度用差异个数来表示。