全称实例化

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

作为一个公理模式

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

作为一个推理规则:

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