Este documento presenta tres temas clave de lógica matemática para el primer bimestre. Introduce las tablas de verdad como una herramienta para determinar la verdad de enunciados compuestos basados en la verdad de sus partes. También explica la reducción de proposiciones mediante el uso de leyes de álgebra proposicional para obtener proposiciones equivalentes. Finalmente, describe los métodos de prueba y deducción natural como formas de derivar conclusiones directa o indirectamente a partir de premisas usando reglas de infer