查看“︁全称特化”︁的源代码

[[分类:证明论]]
{{InfoBox
|name=全称特化
|eng_name=universal instantiation
|aliases=全称实例化,universal specialization,US,UI
}}
'''全称特化'''('''universal instantiation''' / '''universal specialization''', 缩写 '''UI''' / '''US''')指证明论中一个常见于各种推理系统的推理规则，
即对任意[[谓词公式]] <math>\varphi</math> 和[[项（谓词逻辑）|项]] <math>t</math> ，有 <math>\forall x \varphi \vdash \varphi(t/x)</math> 。

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