Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo proposiciones, conectivos lógicos, tablas de verdad y equivalencias lógicas. Explica qué es una proposición y cómo se representan, introduce los conectivos negación, conjunción, disyunción, implicación y bicondicional, y muestra sus tablas de verdad respectivas. Además, cubre conceptos como tautologías, contradicciones y proposiciones contingentes.