Modus ponens: Perbedaan antara revisi

Dalam [[kalkulus proposisional]], '''''modus ponens''''' (disingkat '''MP''';, juga '''''{{Lang-la|modus ponendo ponens}}, terj. ''''' ([[Bahasa Latin|Latin]] untuk "modus yang menegaskan dengan menegaskan"'')<ref>{{Cite book|url=https://books.google.com/books?id=p6_KRzXsnKIC&pg=PA60|title=Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language|last=Stone|first=Jon R.|publisher=Routledge|year=1996|isbn=0-415-91775-1|location=London|page=60}}</ref> atau '''implikasi penghapusan''') adalah aturan penarikan kesimpulan.<ref>Enderton 2001:110</ref> Hal ini dapat diringkas sebagai "''P maka Q'' dan ''P'' adalah keduanya dianggap benar, maka ''Q'' harus benar."