Introdução À Logica Matemática

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.