查看“︁存在推广”︁的源代码

[[分类:证明论]]
{{InfoBox
|name=存在推广
|eng_name=existential generalization
|aliases=EG
}}
'''存在推广'''('''existential generalization''', 缩写 '''EG''')指证明论中一个常见于各种推理系统的推理规则，
即对任意[[谓词公式]] <math>\varphi(x)</math> 和[[项（谓词逻辑）|项]] <math>t</math> ，有 <math>\varphi(t/x) \dashv \exists x \varphi \vdash </math> 。

这一规则将一个具体的针对某个项的命题推广到一般变项的一个存在命题上，因此称为存在推广。