Este documento apresenta 5 exercícios de lógica proposicional para provar equivalências lógicas usando apenas regras básicas de prova. Os exercícios incluem provar que (P ∧ Q) é logicamente equivalente a ¬(¬P ∨ ¬Q), ¬(P → ¬Q) e outras expressões lógicas.