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
jika X berimplikasi pada Y, dan X adalah benar, maka Y benar
Konten disalin dari Wikipedia Bahasa Indonesia (lisensi CC BY-SA)
Baca Selengkapnya di Wikipedia