Daftar isi: BAB 1 Pengantar logika BAB 2 Proposal BAB 3 Operator logika BAB 4 Tabel kebenaran BAB 5 Implikasi dan aplikasi BAB 6 Proposisi majemuk BAB 7 Tautologi BAB 8 Ekuivalensi logis BAB 9 Validitas argumen BAB 10 Aljabar boolean BAB 11 Gerbang logika BAB 12 Bank soal
I. LOGIKA DAN ALJABAR BOOLE 1.1 Logika Proposisi 1.2 Inferensi Logika 1.3 Kalimat Berkuantor 1.4 Aljabar Boole 1.5 Rangkaian Logika II. HIMPUNAN 2.1 Himpunan dan Anggota Himpunan 2.2 Himpunan Bagian dan Himpunan Kuasa 2.3 Operasi pada Himpunan III. RELASI 3.1 Relasi Pada Himpunan 3.2 Jenis-Jenis Relasi 3.3 Operasi-operasi pada Relasi 3.4 Relasi Partial Order IV FUNGSI 4.1 …