La lógica matemática es una de las herramientas esenciales, fundamentales para el desarrollo del pensamiento crítico, abstracto y deductivo. En este curso daremos una introducción a la lógica matemática. Para comprender las matemáticas y los argumentos matemáticos, es necesario tener una comprensión sólida de lógica y la forma en que los hechos conocidos se pueden combinar para probar nuevos resultados. Aunque muchas personas se consideran pensadores lógicos, los patrones de pensamiento desarrollados en la vida cotidiana son solo sugerentes y no totalmente adecuados para la precisión requerida en matemáticas. En este curso, examinamos detenidamente las reglas de la lógica y la forma en que se construyen los argumentos matemáticos. La primera parte presenta los conectivos lógicos que nos permiten construir proposiciones compuestas a partir de otras más simples, mientras que en la segunda parte analizaremos el papel que juegan los cuantificadores en la creación de nuevas proposiciones.

Aprenderás los conceptos básicos de lógica y los principios que rigen los razonamientos válidos, que son fundamentales para el desarrollo axiomático-deductivo de la matemática. Serás capaz de determinar el valor de verdad de proposiciones compuestas de conectivos lógicos básicos (negación, conjunción, disyunción, condicional y bicondicional) mediante la construcción de su tabla de verdad, asimismo, encontraremos equivalencias útiles entre proposiciones compuestas, a las cuales llamaremos tautologías; además aprenderás cómo construir proposiciones a partir de cuantificadores (cuantificador existencial y cuantificador universal).