cálculo sentencial, cálculo de predicado, cálculo com igualdade Hegenberg, Leônidas 1925-2012 creator text bl Rio de Janeiro Forense Universitária 2015 3. ed. 2. reimpr. monographic por

print

426 p. 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. Leônidas Hegenberg. Inclui biliografia e índice analítico. Lógica matemática 511.3 H463l 9788530939205 BR-BrSFSB 170209 20240619090741.0 por