Este documento presenta una introducción a la lógica matemática. Explica conceptos como enunciados, proposiciones, axiomas y conectores lógicos como conjunción, disyunción e implicación. Incluye ejemplos de proposiciones simples y tablas de verdad para demostrar las leyes de la lógica. Finalmente, menciona que la información proviene de la materia de lógica matemática vista en años anteriores.