モーダスポネンス

ウィキペディア

モーダスポネンス

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/31 17:34 UTC 版)

この記事で示されている出典について、該当する記述が具体的にその文献の何ページあるいはどの章節にあるのか、特定が求められています。 ご存知の方は加筆をお願いします。（2024年11月）

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

モーダスポネンス（ラテン語: modus ponens、MP）とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定（affirming the antecedent）または分離規則（the law of detachment）とも呼ぶ。

形式的記法

推論の最も典型的な形式であり、一般に次のような形式である。

P ならば Q である。

P である。

従って、Q である。

論理演算の記法では次のようになる。

${\displaystyle ((P\to Q)\land P)\vdash Q}$