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