Este documento presenta los conceptos fundamentales del cálculo proposicional en lógica matemática, incluyendo proposiciones, conectivos lógicos, tablas de verdad, fórmulas bien formadas, tautologías, equivalencias y leyes importantes. Explica conceptos como conjunción, disyunción, negación, condicional e implicaciones, y provee ejemplos para ilustrar cada uno.