LOGICA MATEMÁTICA. Centro Interdisciplinario de Investigación y Docencia en Educación Técnica. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y demostración de reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática...

La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente. En esta guía se estudian la lógica proposicional, la coma flotante, las matrices y las determinaciones.

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.