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