pembahasan pad abuku 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 dervasi.