Logika Proposisional
Buku ini merupakan seri pembahasan tentang Logika Matematika yang terdiri dari logika proposisional, logika predikat, dan logika fuzzy. Buku seri pertama ini pembahasannya dilengkapi dengan soal-soal latihan. DAFTAR ISI: 1. Pengantar 2. Tabel Kebenaran 3. Proposisi Majemuk 4. Tautologi 5. Ekuivalensi Logis 6. Penyederhanaan 7. Strategi Pembalikan 8. Tablo Semantik 9. Bentuk Normal 10. Resolusi 11. Deduksi Alami 12. Kalkulus Deret
Tidak tersedia versi lain