Modus ponens itu apa sih?

Dalam kalkulus proposisional, modus ponens (disingkat MP, , terj. 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."

Modus ponens berkaitan erat dengan aturan lain, modus tollens. Silogisme berkaitan erat dengan modus ponens dan kadang-kadang dianggap sebagai "modus ponens ganda."

Sejarah modus ponens berawal dari zaman kuno. Yang pertama secara eksplisit menggambarkan bentuk argumen modus ponens adalah Theophrastus.