Ciencia, Tecnología, Ingeniería y Matemáticas (STEM)

Logica matemática

La lógica matemática es una disciplina que forma parte de las matemáticas y de la filosofía, cuyo objetivo es estudiar de manera rigurosa los principios que rigen el razonamiento válido. Se encarga de analizar la estructura de los argumentos para determinar cuándo una conclusión se sigue necesariamente de unas premisas, independientemente del contenido o del significado de las palabras utilizadas. Para lograr esto, la lógica utiliza lenguajes formales, símbolos y reglas precisas que permiten representar proposiciones, conectivos lógicos, cuantificadores y relaciones entre enunciados.