Este documento presenta una introducción a la lógica proposicional. Define proposiciones lógicas y conectivos lógicos como la negación, disyunción, conjunción, condicional y bicondicional. Explica las tablas de verdad de proposiciones simples y compuestas, y define tautologías, contradicciones y contingencias.