Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Lihat juga. |
Tidak ada ringkasan suntingan |
||
Baris 57:
: kesimpulan: ~p
===
: premis 1: p → q
: premis 2: q → r
: kesimpulan: p → r
{{Bidang matematika}}
{{math-stub}}
|