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).
Pembahasan pada buku ini dimulai dengan kuantor, yakni kuantor universal dan kuantor eksistensial serta semesta pemikiran (universe of discourse) yang melengkapinya dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argumen memakai metode derivasi.