（反例） 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.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
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.
大学理念是人们对大学的最基本的理性认识和具有普遍意义的最高哲学抽象，一般可用最简单的概念形式表述出来。
This paper gives the definition of parameterized generalization of quantum universal gates, and analyzes the parameterization of single qubit gates, double qubit gates and triple qubit gates.
主要研究参数化的广义量子通用相位门，给出了单比特量子门、双比特量子门以及三比特量子门的参数化构造。
应用推荐