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