Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo las definiciones de proposiciones simples y compuestas, los cuatro conectivos lógicos (conjunción, disyunción, condicional y negación), y las tablas de verdad que describen sus valores de verdad. Explica que las proposiciones son enunciados que pueden ser evaluados como verdaderos o falsos, y que las proposiciones compuestas están formadas por dos o más proposiciones simples unidas por uno de los