Carlos Alberto F. Bispo, Luiz B. Castanheira, Oswaldo Melo S. Filho

ISBN-10: 8522115958

ISBN-13: 9788522115952

© 2012

208 Páginas

Preço: Sob consulta

Esta obra foi escrita por docentes da Academia da Força Aérea (AFA), responsáveis pela disciplina Lógica Matemática, e tem por objetivo dar ao leitor o fundamento introdutório necessário para o estudo aprofundado da Lógica e suas aplicações, além de suprir uma deficiência bibliográfica de textos mais acessíveis e didáticos.

Para tanto, este livro é composto de uma parte inicial, em que o Cálculo Proposicional é apresentado com conectivos, tabelas-verdade, tautologias mais relevantes, formalização de argumentos e prova de sua validade ou invalidade. Na segunda parte é apresentado o Cálculo de Predicados com a prova de validade de argumentos usando o quantificador universal e o existencial.

Em cada capítulo, o conteúdo é ilustrado com exemplos esclarecedores, seguidos por exercícios resolvidos, cuja finalidade é levar o aluno a entender a lógica matemática, além dos exercícios propostos, os quais o leitor deverá resolver e conferir com a resolução apresentada pelos autores.

Parte 1 – Cálculo Proposicional
1. Proposição
2. Tabela-verdade
3. Classificação das proposições
4. Tautologias
5. Consequência lógica ou dedução formal

Parte 2 – Cálculo de Predicados
6. Funções proposicionais e quantificadores
7. Validade de argumentos com quantificadores

Livro-texto para a disciplina de Lógica, utilizado em cursos de Matemática, Ciência da Computação e Administração. Pode ser útil aos leitores da área de Humanas, como Filosofia, Linguística, Letras e Direito, além de interessados em conhecer o rigor da dedução formal de maneira mais acessível.
Além disso, pode servir também como bibliografia básica para vários concursos públicos e de ingresso em pós-graduação.