Este livro oferece uma base sobre a lógica Proposicional,desde os conceitos básicos até as aplicações em áreas como a Matemática e a filosofia.