Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Baris 46:
== Premis-premis ==
=== Modus ponens ===
: premis 1: p → q
: premis 2: p
: kesimpulan: q
=== Modus tollens ===
: premis 1: p → q
: premis 2: ~q
: kesimpulan: ~p
=== Silogisme ===
: premis 1: p → q
: premis 2: q → r
: kesimpulan: p → r
{{Bidang matematika}}
| |||