全称实例化 在逻辑中全称实例化或全称列举Universal Instantiation简称UI拉丁文中叫做Dictum de omni是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理它一般作为全称量词的量化规则给出但也可以作为一个公理它是量化理论的基本原理之一 例子所有的狗都是动物Fido是狗所以Fido是动物 作为一个公理模式 xA  AaxAax是把A中所有x的自由出现替代为某个项a的结果 作为一个推理规则 从  xA 推出  AaxAax同上