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