Este documento explica los conceptos básicos de la lógica proposicional, incluyendo enunciados, proposiciones, valores de verdad, variables proposicionales, conectores lógicos como la conjunción, disyunción, condicional y bicondicional, y tablas de verdad. Define cada uno de estos conceptos y provee ejemplos para ilustrar sus significados y valores de verdad.