存在推广

存在推广
术语名称	存在推广
英语名称	existential generalization
别名	EG

'存在推广(existential generalization, 缩写 EG)指证明论中一个常见于各种推理系统的推理规则， 即对任意谓词公式 [math]\displaystyle{ \varphi(x) }[/math] 和项 [math]\displaystyle{ t }[/math] ，有 [math]\displaystyle{ \varphi(t/x) \dashv \exists x \varphi \vdash }[/math] 。

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