Livro Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculo com Igualdade

Livro Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculo com Igualdade
Leonidas Hegenberg

ISBN: 9788530939205
Edição: 3ª
Ano: 2012
Idioma: Português
Autor: Leonidas Hegenberg
Páginas: 448
Encadernação: Brochura
Editora: Forense
Dimensões: 14 x 21 x 2.4 cm
Peso: 0.50 kg

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.

Sumário:

Índice Sistemático
Palavras Preliminares à Segunda Edição
Palavras Preliminares
Prefácio
Parte I
Cálculo Sentencial
Capítulo 1 – Preâmbulo de Caráter Filosófico
Capítulo 2 – Escorço Histórico
Capítulo 3 – Tabelas de Valores – Tautologias
Capítulo 4 – Complementos
Capítulo 5 – Cálculo Sentencial – Resultados Notáveis
Capítulo 6 – Dedução – Aspectos Intuitivos
Capítulo 7 – Teoria da Demonstração
Capítulo 8 – A Dedução Natural
Capítulo 9 – Informações Adicionais e Exercícios
Parte II
Cálculo de Predicados
Capítulo 1 – Uma Nova Linguagem
Capítulo 2 – A Linguagem do Cálculo de Predicados e sua Interpretação
Capítulo 3 – Verdades Lógicas
Capítulo 4 – A Dedução
Capítulo 5 – Principais Teoremas
Capítulo 6 – O Cálculo com Igualdade
Orientação Bibliográfica
Índice Analítico