查看“存在概括”的源代码

'''存在概括'''([[英语]]:'''Existential generalization'''<ref>{{cite book |last=Copi |first=Irving M. |last2=Cohen |first2=Carl |title=Introduction to Logic |publisher=Prentice Hall |year=2005}}</ref><ref>{{cite book |title=A Concise Introduction to Logic 4th edition |last=Hurley |first=Patrick  |coauthors= |year=1991 |publisher=Wadsworth Publishing }}</ref>，简称EG)是[[谓词逻辑]]有效[[推理规则]]之一。该规则允许论者从一项具体陈述演绎至一项量化概括论述，或[[存在量化]]。[[一阶逻辑]]中，作为存在量词的规则常用于正式证明。

例：一只叫罗孚的狗喜欢摇尾巴，所以有些东西喜欢摇尾巴。

用[[费奇符号]]可记为:

:<math> Q(a) \to\ \exists{x}\, Q(x)</math>

常量小写a在 Q(x)中代替了所有自由变量。<ref>pg. 347. [[Jon Barwise]] and [[John Etchemendy]], ''Language proof and logic'' Second Ed., CSLI Publications, 2008.</ref>a代表一个常量，在这个例子中是狗。Q代表他的属性，在这里是“摇尾巴（的）”。x代表概括后的变量，可以是任何东西，但属于Q，在例子中是摇尾巴的。∃x是一个存在量化，意即“有一些x”

直译该费奇式可得出：“有一个体a，如果对该a来说有Q的属性，则有一些个体x有Q的属性”。
== 关联项目 ==
*[[全称实例化]]
*[[普遍化]]
*[[存在列举]]
== 参考 ==

[[Category:推理规则]]
[[Category:哲学逻辑]]
[[Category:數理邏輯]]