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 …