Este documento presenta conceptos básicos de lógica proposicional. Incluye oraciones declarativas simples y compuestas, tablas de valores de verdad, operadores lógicos como la implicación y equivalencia lógica, y el uso de variables proposicionales en la forma proposicional.