'Lógica - o cálculo de predicados' tem como objetivo analisar a legitimidade dos argumentos, através de uma nova linguagem, de forma modo intuitiva. Assim, esta obra, como uma continuação de 'Lógica - o cálculo sentencial' traz os recursos necessários para a identificação das verdades lógicas, da utilização das regras de infêrencias e dos axiomas, ressaltando a questão da simbolização da linguagem e das técnicas dedutivas.