全稱實例化- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
全稱實例化
維基百科，自由的百科全書
跳至導覽
跳至搜尋
在邏輯中，全稱實例化或全稱列舉（UniversalInstantiation,簡稱UI,拉丁文中叫做"Dictumdeomni"）是從關於一類個體的每個成員的真理到關於這個類的特定個體的真理的推理。
它一般作為全稱量詞的量化規則給出，但也可以作為一個公理。
它是量化理論的基本原理之一。
例子："所有的狗都是動物。
Fido是狗。
所以Fido是動物。
"
作為一個公
