Introdução à Lógica Matemática para Computação

Este livro consiste de uma série de capítulos pequenos e concisos cada qual sobre um assunto específico, com a teoria apresentada através de exemplos. Além disso, cada capítulo apresenta exercícios e a solução dos mesmos. Para facilitar o estudo dos leitores, no final de cada capítulo será apresentado um resumo com os pontos chaves dos assuntos tratados. O objetivo é que este livro sirva de base para todos os interessados em iniciar seus conhecimentos em Lógica Matemática na área da Computação. 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