全稱實例化

在邏輯中 ， 全稱實例化或全稱列舉 （ Universal Instantiation, 簡稱UI, 拉丁文中叫做 " Dictum de omni " ） 是從關於一類個體的每個成員的真理到關於這個類的特定個體的真理的推理 。 它一般作爲全稱量詞的量化規則給出 ， 但也可以作爲一個公理 。 它是量化理論的基本原理之一 。 例子 ： " 所有的狗都是動物 。 Fido是狗 。 所以Fido是動物 。 " 作爲一個公理模式 ： ∀ xA → A ( a / x ) ， A ( a / x ) 是把A中所有x的自由出現替代爲某個項a的結果 。 作爲一個推理規則: 從 ⊢ ∀ xA 推出 ⊢ A ( a / x ) ， A ( a / x ) 同上 。