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 provee tablas de verdad para cada uno. Finalmente, presenta un ejemplo para ilustrar el uso