Capítulo I: Lógica formal e linguagem
Capítulo II: Proposição
Capítulo III: Inferência
Capítulo IV: Formalização
Capítulo V: Funções veritativas
Capítulo VI: Tabela verdade e método abreviado
Capítulo VII: Equivalencias notáveis
Capítulo VIII: Implicâncias notáveis
Capítulo IX: Dedução natural
Capítulo X: Circuitos lógicos