（反例） 5 全称推广规则UG • 全称推广规则 (Universal Generalization)，记为UG。 这个规则是添加全称量词规则，其用意在于对命题量 化。
基于12个网页-相关网页
... 存在特指（Existential specification） • 存在推广（existential generalization） • 全称推广（universal generalization） 4/39 集合论的创立与康托尔的遭遇 19世纪末期，数学界出现了一件引人注目的事情。
基于8个网页-相关网页
以上来源于: WordNet
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.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
Two ghosts" is the generalization made by Zhou Zuoren of self-contradictoriness, and is also the universal recognition of him."
两个鬼”是周作人对自身矛盾性的一种概括，亦是人们对他的普遍认识。
The idea of university is the most fundamental rational recognition of university, which has universal philosophy generalization. It can be expressed by the simplest concepts.
大学理念是人们对大学的最基本的理性认识和具有普遍意义的最高哲学抽象，一般可用最简单的概念形式表述出来。
应用推荐