Pembahasan pada buku ini dimulai dengan konsep 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.
Buku ini adalah buku pertama dalam bidang logika yang sebenarnya lebih tepat disebut logika matematika, yakni logika yang menggunakan kaidah matematika untuk pembuktiannya. oleh sebab itu buku ini pertama kali akan menjelaskan tentang logika dan hal-hal yang berkaitan dengna hal tersebut, kemudian dilanjutkan tentang berbagai pengertian di dalam logika antara lain statement, argumen, variabel, …