Modus ponens

Dalam kalkulus proposisional, modus ponens 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.