存在概括

存在概括 ( 英語: Existential generalization ， 簡稱EG ) 是謂詞邏輯有效推理規則之一 。 該規則允許論者從一項具體陳述演繹至一項量化概括論述 ， 或存在量化 。 一階邏輯中 ， 作爲存在量詞的規則常用於正式證明 。 例 ： 一隻叫羅孚的狗喜歡搖尾巴 ， 所以有些東西喜歡搖尾巴 。 用費奇符號可記爲: 常量小寫a在 Q ( x ) 中代替了所有自由變量 。 a代表一個常量 ， 在這個例子中是狗 。 Q代表他的屬性 ， 在這裏是 “ 搖尾巴 （ 的 ） ” 。 x代表概括後的變量 ， 可以是任何東西 ， 但屬於Q ， 在例子中是搖尾巴的 。 ∃ x是一個存在量化 ， 意即 “ 有一些x ” 直譯該費奇式可得出 ： “ 有一個體a ， 如果對該a來說有Q的屬性 ， 則有一些個體x有Q的屬性 ” 。