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

Hegenberg, Leônidas (Autor)

Filosofia

Sinopse

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.

Metadado adicionado por Grupo GEN em 31/07/2017

ISBN relacionados

--