Introdução à Lógica Matemática (Portuguese Edition)

O objetivo deste livro é que ele sirva de base para todos os interessados em iniciar seus conhecimentos em Lógica Matemática através de uma linguagem direta e clara. Para isso, o livro foi divido em uma série de capítulos concisos abordando sempre que possível a teoria através de exemplos. Além disso, cada capítulo apresenta exercícios com questões de múltipla escolha (ideal para quem estuda para concurso) e questões discursivas. Todos os exercícios vem com a solução dos mesmos para que o leitor possa verificar a evolução do seu aprendizado. Para facilitar o estudo dos leitores, no final de cada capítulo é apresentado um resumo com os pontos chaves dos assuntos tratados. O último capítulo do livro aborda Prolog, uma Linguagem de Programação que permite resolver problemas de Lógica através do computador. Neste capítulo, o leitor saberá onde baixar e instalar um software Prolog e, por fim, como fazer programas simples para solução de problemas de Lógica de primeira ordem. O livro é praticamente divido em três partes: 1. Cálculo Proposicional. 1.1 Linguagem Natural x Linguagem Matemática. 1.2 Conectivos Lógicos. 1.3 Tabela Verdade. 1.4 Equivalências Tautológicas. 1.5 Regras de Inferência. 1.6 Provas de Argumentos. 2 Lógica dos Predicados. 2.1 Quantificador Existencial. 2.2 Quantificador Universal. 2.3 Validação de Argumentos. 3 PROLOG. 3.1 - Sintaxe da Linguagem PROLOG. 3.2 - Sintaxe dos Conectores Lógicos em PROLOG. 3.3 - Sintaxe dos Operadores Matemáticos em PROLOG. 3.4 - Listas em PROLOG.