存在汎化
存在汎化(そんざいはんか、英: Existential generalization, existential introduction, ∃I)は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。一階述語論理では、形式的証明における存在記号(∃)の規則としてしばしば使用される。
例: 「ローバーは尻尾を振るのが大好きだ。したがって、何かは尻尾を振るのが大好きである。」
フィッチ表記では次のように書く。
Q ( a ) → ∃ x Q ( x ) {\displaystyle Q(a)\to \ \exists {x}\,Q(x)}
ここで、aはQ(x)内のxのすべての束縛されていない事例を置き換える。