Este documento presenta conceptos básicos de lógica proposicional como proposiciones, valores lógicos de proposiciones, conectivos lógicos, proposiciones simples y compuestas. Define una proposición como un juicio declarativo que puede ser verdadero o falso pero no ambos. Explica que las proposiciones se representan con letras minúsculas y su valor lógico es 1 si es verdadera y 0 si es falsa. Además, introduce los conectivos lógicos básicos como "no", "y