Modus ponens: Perbedaan antara revisi

Dalam [[kalkulus proposisional]], '''''modus ponens''''' ('''MP'''; juga '''''modus ponendo ponens''''' ([[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."

 

 

Sejarah ''modus ponens'' berawal dari [[Era Klasik|zaman kuno]].<ref>[//en.wiki-indonesia.club/wiki/Susanne_Bobzien Susanne Bobzien] (2002). "The Development of Modus Ponens in Antiquity", ''Phronesis'' 47, No. 4, 2002.</ref> Yang pertama secara eksplisit menggambarkan bentuk argumen ''modus ponens'' adalah [[Theophrastus]].<ref>[http://plato.stanford.edu/entries/logic-ancient/#StoSyl "Ancient Logic: Forerunners of ''Modus Ponens'' and ''Modus Tollens''"]. ''[//en.wiki-indonesia.club/wiki/Stanford_Encyclopedia_of_Philosophy Stanford Encyclopedia of Philosophy].''</ref>

:<math>P \to Q,\; P\;\; \vdash\;\; Q</math>

 

 

== Penjelasan ==