Modus ponens

Dalam kalkulus proposisional, modus ponens (MP; juga modus ponendo ponens (Latin untuk "modus yang menegaskan dengan menegaskan") atau implikasi penghapusan) adalah aturan penarikan kesimpulan. Hal ini dapat diringkas sebagai ""P maka Q" dan "P" adalah keduanya dianggap benar, maka "Q" harus benar."