Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Baris 46:
* Kontraposisi dari <math>p \to q</math> adalah ~q → ~p
==
=== Modus ponens ===
: premis 1: p → q
| |||
Baris 46:
* Kontraposisi dari <math>p \to q</math> adalah ~q → ~p
==
=== Modus ponens ===
: premis 1: p → q
| |||