Este documento apresenta conceitos básicos de lógica e raciocínio lógico-matemático. Aborda noções de proposições, conectivos lógicos, tabelas-verdade e equivalências lógicas. Também discute tautologias, contradições e a negação de proposições compostas.