Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo la formalización de proposiciones mediante variables proposicionales y conectivos lógicos, la jerarquía de conectores, las reglas de formalización de esquemas moleculares, y los tipos de esquemas moleculares como tautologías, contradicciones y contingencias. Explica cómo evaluar esquemas moleculares mediante tablas de verdad para determinar su valor de verdad.