Este documento describe los conceptos básicos de la lógica proposicional. Define una proposición como una expresión que puede ser calificada como verdadera o falsa. Introduce los conectivos lógicos "y", "o", "no es cierto que" que se usan para enlazar proposiciones simples en proposiciones compuestas. Explica que las proposiciones compuestas tienen múltiples valores de verdad dependiendo de cómo se combinan los valores de verdad de las proposiciones simples subyacentes.