Este documento explica conceptos básicos de la lógica proposicional como proposiciones, valores de verdad, conectivos lógicos, tablas de verdad y reglas de inferencia. Define una proposición como un enunciado que puede ser verdadero o falso. Explica los conectivos lógicos de negación, conjunción, disyunción, implicación y equivalencia con sus respectivas tablas de verdad. Además, introduce conceptos como tautología, contradicción y contingencia.