Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido visando permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Também é indicado a estudantes e professores de filosofia, computação e matemática.