Modus ponens: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
LaninBot (bicara | kontrib)
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>
 
dimanadengan ''P'', ''Q'', dan ''P'' → ''Q'' adalah pernyataan (atau proposisi) dalam bahasa formal dan ⊢ adalah simbol [[Metalogika|metalogical]] yang berarti bahwa ''Q'' adalah [[konsekuensi logis]] dari ''P'' dan ''P'' → ''Q'' dalam sebuah sistem.
 
== Penjelasan ==