Este documento presenta conceptos básicos de lógica proposicional como proposiciones, enunciados, conectivos lógicos y tablas de verdad. Define proposición como una frase que puede ser verdadera o falsa, y enunciado como cualquier frase u oración. Explica los conectivos lógicos como conjunción, disyunción débil, disyunción fuerte, condicional y bicondicional, y muestra sus tablas de verdad. Por último, provee un ejemplo para ilustrar el uso del con