Este documento introduce conceptos básicos de lógica como enunciados, proposiciones, valores de verdad, conectivos lógicos y tablas de verdad. Define qué son enunciados, proposiciones atómicas, proposiciones predicativas y relacionales. Además, explica los operadores lógicos y sinónimos y describe tautologías, contradicciones y contingencias en tablas de verdad.