predicate logic短语¹⁸⁰⁰⁹⁸⁺¹ 基本例句 谓词演算 Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule. 将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。 cnki