Este documento describe los conceptos básicos de la lógica proposicional, incluyendo las clasificaciones de proposiciones (abiertas, cerradas, simples, compuestas), los conectores lógicos y sus símbolos, y cómo los valores de verdad de una proposición dependen del número de proposiciones simples que la componen.