Este documento presenta una introducción al cálculo proposicional. Explica que el cálculo proposicional estudia las proposiciones y su relación mediante el uso de conectivos lógicos. Define las proposiciones, fórmulas y tablas de verdad del cálculo proposicional. Concluye que el cálculo proposicional es fundamental para el desarrollo de la lógica y la inteligencia artificial.