Este documento discute os objetivos e princípios da lógica proposicional. Apresenta os conceitos básicos como variáveis, operadores lógicos, tabelas de verdade e formas de argumentos como modus ponens, modus tollens e falácias. O objetivo da lógica é estudar raciocínios válidos versus inválidos e ajudar a distinguir enunciados verdadeiros de falsos.