O documento apresenta os principais conceitos da lógica proposicional, incluindo: (1) proposições e conectivos lógicos como conjunção, disjunção e negação; (2) tabelas-verdade e propriedades de tautologias, contradições e contingências; (3) diagramas lógicos e proposições categóricas. O programa de raciocínio lógico previsto para o concurso do TRF5 inclui matemática e raciocínio lógico-matemático, com ênfase em conj