存在概括 存在概括英语Existential generalization简称EG是谓词逻辑有效推理规则之一该规则允许论者从一项具体陈述演绎至一项量化概括论述或存在量化一阶逻辑中作为存在量词的规则常用于正式证明 例一只叫罗孚的狗喜欢摇尾巴所以有些东西喜欢摇尾巴 用费奇符号可记为 Q  a      x Q  x  displaystyle Qato  exists xQx 常量小写a在 Qx中代替了所有自由变量a代表一个常量在这个例子中是狗Q代表他的属性在这里是摇尾巴的x代表概括后的变量可以是任何东西但属于Q在例子中是摇尾巴的x是一个存在量化意即有一些x 直译该费奇式可得出有一个体a如果对该a来说有Q的属性则有一些个体x有Q的属性