Buki 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. Pengantar2. Tabel Kebenaran3. Proposisi Majemuk4. Tautologi5. Ekuivalensi Logis6. Penyederhanaan7. Strategi Pembalikan8. Tablo Semantik9. Bentuk Normal10. Resolusi11. Deduksi Alami12. Kalkulus Deret