Sinopse

O presente livro consiste em uma abordagem introdutória da Lógica como é desenvolvida no século XXI. 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 de dois Sistemas Lógicos - 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.

Detalhes do produto