Logica - Uma Abordagem Introdutoria

O presente livro consiste em uma abordagem introdutória da Lógica como é desenvolvida atualmente. Sua leitura não exige qualquer conhecimeanto prévio do assunto. Sua proposta é discorrer sobre um conceito central da lógica, denominado "consequência lógica". Esta tarefa é levada a termo através da apresentação dos dois Sistemas Lógicos mais importantes: a Lógica Sentencial e a Lógica de Predicados de Primeira Ordem. Estes assuntos são apresentados através de suas sintaxe, semântica e sistemas dedutivos. O texto contém variadas observações que visam esclarecer a importância desses sistemas. Contém variadas questões de Raciocínio Lógico, assim como aplicação dos conceitos e resultados desenvolvidos.