In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP; also modus ponendo ponens (Latin for "mode that affirms by affirming") or implication elimination) is a rule of inference.
Dalam kalkulus proposisional, modus ponens (MP; juga modus ponendo ponens (Latin untuk "modus yang menegaskan dengan menegaskan") atau implikasi penghapusan) adalah aturan penarikan kesimpulan.