Este documento apresenta um resumo dos principais tópicos da lógica proposicional em 5 capítulos: (1) proposições e operadores lógicos, como conjunção, disjunção e negação; (2) dedução na lógica proposicional, incluindo argumentos válidos e regras de dedução; (3) sentenças abertas e quantificadores; (4) lógica de predicados, incluindo estruturas, interpretação e validade de fórmulas; (5) exemplos e exercíci