Um prático guia de estudo sobre lógica proposicional, teoria da quantificação e lógica silogística. Escrito e revisado por especialistas, seu conteúdo está organizado de maneira que você possa encontrar rapidamente as respostas para as suas perguntas e os temas de seu interesse: métodos da tabela-verdade e da árvore-verdade, dedução natural, notação de símbolos, formas de proposições e raciocínio silogístico estão entre os temas abordados. Direto ao ponto, fácil de guardar, ótimo para aprender, estudar e relembrar.