Text
Logika Proposisional
Materi dalam buku ini mencakup:
- tabel kebenaran
- proposisi majemuk
- tautologi
- ekuivalensi logis
- penyederhanaan
- strategi pembalikan
- tablo semantik
- bentuk normal
- resolusi
- deduksi alami
- kalikulus deret
No other version available