在逻辑中，全称实例化（UI,也叫做"Dictum de omni"）是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。它一般作为全称量词的量化规则给出，但也可以作为一个公理。它是量化理论的基本原理之一。
例子："所有的狗都是动物。Fido是狗。所以Fido是动物。"
作为一个公理模式：
∀xA → A(a/x)，A(a/x)是把A中所有x的自由出现替代为某个项a的结果。
作为一个推理规则:
从 ⊢ ∀xA 推出 ⊢ A(a/x)，A(a/x)同上。
3个分类: 逻辑学小作品 | 推理规则 | 来自中文维基百科
