存在汎化
存在汎化（そんざいはんか、英: Existential generalization, existential introduction, ∃I）は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。 一階述語論理では、形式的証明における存在記号（∃）の規則としてしばしば使用される。
存在汎化（そんざいはんか、英: Existential generalization, existential introduction, ∃I）は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。 一階述語論理では、形式的証明における存在記号（∃）の規則としてしばしば使用される。
存在汎化（そんざいはんか、英: Existential generalization, existential introduction, ∃I）は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。 一階述語論理では、形式的証明における存在記号（∃）の規則としてしばしば使用される。
出典: Wikipedia「存在汎化」 · CC BY-SA 4.0
この記事を共有: X · Bluesky