Lógica: Cálculo sentencial, cálculo de predicados, cálculo com igualdade

A obra Lógica, de Leônidas Hegenberg, agora reeditada, chega ao público em um único volume, em vez de dois, conforme originariamente lançada. A primeira parte compõe-se de um estudo cuidadoso visando a introduzir, com o máximo rigor e clareza, as técnicas dedutivas do cálculo sentencial, ao desenvolver algumas observações preliminares, de conteúdo básico para o entendimento da matéria. Em seguida, após um relato histórico sobre as peculiaridades da Lógica, o autor estuda as tabelas de valores, dos conectivos e das tautologias, aplicados ao exame dos argumentos, além de outros tópicos importantes. Esta primeira parte atém-se, principalmente, ao capítulo sobre a teoria da demonstração. Na segunda parte da obra, sobre o estudo do cálculo de predicados, são ressaltadas as questões de simbolização da linguagem e das técnicas dedutivas. Hegenberg discorre também sobre a interpretação, destinada a identificar as verdades lógicas, as regras de inferência e os axiomas necessários para que as demonstrações e deduções sejam efetuadas. Toda a obra apresenta inúmeros exercícios práticos, viabilizando assim a possibilidade de um melhor aproveitamento de tudo que o autor disponibilizou para o estudo efetivo da matéria.