Este documento presenta una introducción a la lógica matemática. Define conceptos clave como proposiciones, proposiciones compuestas, operadores lógicos como conjunción, disyunción, negación, condicional y bicondicional. Explica las tablas de verdad para cada operador lógico y cómo determinar si una fórmula es una tautología, contradicción o indeterminada.