Lógica - Uma Abordagem Introdutória

O presente livro consiste em uma abordagem introdutória da Lógica como é desenvolvida atualmente. Sua leitura não exige qualquer conhecimento 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.