Logica: Calculo Sentencial, Calculo De Predicados

A obra Logica, de Leonidas Hegenberg, agora reeditada, chega ao publico em um unico volume, em vez de dois, conforme originariamente lancada. A primeira parte compoe-se de um estudo cuidadoso visando a introduzir, com o maximo rigor e clareza, as tecnicas dedutivas do calculo sentencial, ao desenvolver algumas observacoes preliminares, de conteudo basico para o entendimento da materia. Em seguida, apos um relato historico sobre as peculiaridades da Logica, o autor estuda as tabelas de valores, dos conectivos e das tautologias, aplicados ao exame dos argumentos, alem de outros topicos importantes. Esta primeira parte atem-se, principalmente, ao capitulo sobre a teoria da demonstracao. Na segunda parte da obra, sobre o estudo do calculo de predicados, sao ressaltadas as questoes de simbolizacao da linguagem e das tecnicas dedutivas. Hegenberg discorre tambem sobre a interpretacao, destinada a identificar as verdades logicas, as regras de inferencia e os axiomas necessarios para que as demonstracoes e deducoes sejam efetuadas. Toda a obra apresenta inumeros exercicios praticos, viabilizando assim a possibilidade de um melhor aproveitamento de tudo que o autor disponibilizou para o estudo efetivo da materia.