Este livro consiste de uma serie de capitulos pequenos e concisos cada qual sobre um assunto especifico, com a teoria apresentada atraves de exemplos.Alem disso, cada capitulo apresenta exercicios e a solucao dos mesmos. Para facilitar o estudo dos leitores, no final de cada capitulo sera apresentado um resumo com os pontos chaves dos assuntos tratados. O Objetivo e que este livro sirva de base para todos os interessados em iniciar seus conhecimentos em Logica Matematica na area da Computacao. O livro e praticamente divido em duas partes: 1. Calculo Proposicional 1.1 Linguagem Natural x Linguagem Matematica 1.2 Conectivos Logicos 1.3 Tabela Verdade 1.4 Equivalencias Tautologicas 1.5 Regras de Inferencia 1.6 Provas de Argumentos 2 Logica dos Predicados 2.1 Quantificador Existencial 2.2 Quantificador Universal 2.3 Validacao de Argumentos 2.4 PROLOG