Este documento describe los conceptos fundamentales de la lógica proposicional, incluyendo: 1) Las proposiciones y conectivas lógicas que forman expresiones proposicionales; 2) Los tipos de expresiones proposicionales como tautologías, contradicciones y contingencias; 3) Los límites de la lógica proposicional y la necesidad de sistemas lógicos más avanzados; 4) Dos sistemas formales estándar para la lógica proposicional, incluyendo alfabetos,