存在例化

ウィキペディア

存在例化

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/12/10 09:32 UTC 版)

演繹の推論規則
命題計算
モーダスポネンス モーダストレンス モーダスポネンストレンス（英語版） 連言導入 簡単化 選言導入 選言除去 選言三段論法 仮言三段論法 構成的ジレンマ（英語版） 破壊的ジレンマ（英語版） 二条件導入（英語版） 二条件除去（英語版）
述語計算
普遍汎化 普遍例化 存在汎化 存在例化
カテゴリ:推論規則
表 話 編 歴

存在例化（そんざいれいか、英: Existential instantiation, Existential elimination）^[1][2][3]は、述語論理において、${\displaystyle (\exists x)\phi (x)}$