Modus ponens: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Perubahan kosmetik tanda baca |
Dedhert.Jr (bicara | kontrib) (1) displaytitle:italic; (2) per WP:DIMANA |
||
Baris 1:
{{DISPLAYTITLE:''Modus ponens''}}
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."
Baris 10 ⟶ 11:
:<math>P \to Q,\; P\;\; \vdash\;\; Q</math>
== Penjelasan ==
|