关键词: 计量逻辑, 一阶逻辑, 准真度, 推广规则

Abstract: Theory of quantitative logic is an important branch of the research on the grading of logical concepts, while, among the related research on the quantitative predicate logic, the generalization rule hasn’t been studied. Theory of the quasi-truth degrees of first-order logical formulae are an important research result about quantitative predicate logic. In this paper, it is discussed about the quasi-truth degree change of a first-order formula through the generalization rule, finally it is proved that the first-order formula after using the generalization rule is still in the same class, which is classified by the quasi-truth degrees, with the original first-order formula.

Key words: quantitative logic, first-order logic, quasi-truth degree, generalization rule