Modus ponens

Dalam kalkulus proposisional, modus ponens (disingkat MP, bahasa Latin: modus ponendo ponens, terj. modus yang menegaskan dengan menegaskan)^[1] atau implikasi penghapusan adalah aturan penarikan kesimpulan.^[2] 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.^[3] Yang pertama secara eksplisit menggambarkan bentuk argumen modus ponens adalah Theophrastus.^[4]

1. ^ Stone, Jon R. (1996). Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. London: Routledge. hlm. 60. ISBN 0-415-91775-1. 
2. ^ Enderton 2001:110
3. ^ Susanne Bobzien (2002). "The Development of Modus Ponens in Antiquity", Phronesis 47, No. 4, 2002.
4. ^ "Ancient Logic: Forerunners of Modus Ponens and Modus Tollens". Stanford Encyclopedia of Philosophy.