普遍汎化

ウィキペディア

普遍汎化

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/29 09:16 UTC 版)

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

普遍汎化（ふへんはんか、英: Universal generalization, Universal introduction,^[1][2][3] GEN）は、述語論理において妥当な推論規則のひとつである。これは、もし${\displaystyle \vdash P(x)}$