Este documento presenta los objetivos y contenidos de la Unidad 1 de una asignatura sobre lógica proposicional. Los objetivos incluyen definir proposiciones y conectivos lógicos, identificar diferentes formas proposicionales como tautologías y contradicciones, conocer leyes del álgebra proposicional, aplicar métodos de demostración directa e indirecta en matemáticas e ingeniería, y construir redes de circuitos lógicos. El documento explica estos conceptos de manera concisa en 6 puntos.