Este livro tem, além dos conteúdos básicos como proposição, conectivos, tabela verdade, argumentações, sentenças abertas, quantificadores universal e existencial, várias questões de provas comentadas e resolvidas.