全称实例化

在逻辑中，全称实例化（UI,也叫做"Dictum de omni"）是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。它一般作为全称量词的量化规则给出，但也可以作为一个公理。它是量化理论的基本原理之一。

例子："所有的狗都是动物。Fido是狗。所以Fido是动物。"

作为一个公理模式：

∀xA → A(a/x)，A(a/x)是把A中所有x的自由出现替代为某个项a的结果。

作为一个推理规则:

从 ⊢ ∀xA 推出 ⊢ A(a/x)，A(a/x)同上。

  全称实例化是一个與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。