Buku diktat ini terdiri dari sembilan bab yang dapat dikelompokkan menjadi tiga bagian. Bagian pertama membahas dasar-dasar logika (proposisional) terdiri dari lima bab, yaitu: pernyataan dan perangkai logika (Bab 1), tautologi dan kontradiksi (Bab 2), hukum logika dan kaidah inferensi (Bab 3), kuantor (Bab 4) dan definisi dan bukti teorema (Bab 5). Bagian kedua membahas teori himpunan terdiri …