全称特化

全称特化
术语名称	全称特化
英语名称	universal instantiation
别名	全称实例化, universal specialization, US, UI

全称特化(universal instantiation / universal specialization, 缩写 UI / US)指证明论中一个常见于各种推理系统的推理规则， 即对任意谓词公式 [math]\displaystyle{ \varphi }[/math] 和项 [math]\displaystyle{ t }[/math] ，有 [math]\displaystyle{ \forall x \varphi \vdash \varphi(t/x) }[/math] 。

这一规则将一个全称命题特化到某个具体的项上，因此称为全称特化或全称实例化。