Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente 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 de forma a 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. Em especial, ele deve ser útil a estudantes e professores de filosofia, computação e matemática.