Pokok pembahasan buku ini adalah pembuktian validitas argumen yang digolongkan sebagai kumpulan proposisi-proposisi yang dirangkai menjadi statement-statement secara sestematis disusun berupa argumen yang terdiri dari premis-premis dan kesimpulan. Bahan dasar logika adalah proposisi-proposisi, karena itulah disebut proposisional (propositional Logic).
Buku ini membahas : Dasar-dasar Logika, Tabel kebenaran, menganalisis Proposisi Majemuk, mengevaluasi validitas argumen, hukum-hukum logika, operasi penyederhanaan, strategi pengembalikan, tablo semantik, bentu normal, himpunan, aturan-aturan deduksi alami, dan pembuktian menggunkan kalkulus Deret.