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.