Tabel kebenaran: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Baris 55:
| 10 || H''pq'' || '''q''' || || || [[Fungsi proyeksi]]
|-
| 11 || C''pq'' || XNp || → || jika p maka q || [[Implikasi (logika)|Implikasi]]
|-
| 12 || I''pq'' || '''p''' || || || Fungsi proyeksi
|-
| 13 || B''pq'' || XNq || ← || maka p jika q || [[Implikasi berlawanan]]
|-
| 14 || A''pq'' || OR || ∨ || atau || [[Disjungsi inklusif]]
|