Este documento presenta tres ejercicios de lógica proposicional. El primero involucra simbolizar tres oraciones en lenguaje formal y determinar si son tautologías, contradicciones o contingencias mediante tablas de verdad. El segundo pide determinar el valor de verdad de varias proposiciones compuestas usando tablas de verdad. El tercero evalúa si varias proposiciones implican o son equivalentes a otras mediante tablas de verdad.