Este documento presenta 4 problemas resueltos sobre lógica proposicional. El primer problema evalúa las proposiciones (5 + 4 = 9) ∧ (4 + 7 < 10) y (10 + 15 = 25) → (4 > 5) usando tablas de verdad. El segundo problema evalúa la proposición (¬p ∧ q) → (q → p). El tercer problema encuentra el valor de verdad de (p → ¬q) ∧ (¬q → r) sabiendo que (¬p → q) ∨ r es falso. El cuart