Lógica - Cálculo Sentencial, Cálculo De Predicados E 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, D Os 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 De Monstraçõ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.