La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es

Lógica matemática

De la Enciclopedia Libre Universal en Español
Saltar a: navegación, buscar

La lógica matemática es la disciplina que se vale de métodos de análisis y razonamiento. Utilizando el lenguaje de las matemáticas como un lenguaje analítico. La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias lógicas tales como el silogismo, hacer demostraciones de teoremas y es auxiliar en el análisis de argumentos planteados.

Dentro de la lógica matemática se auxilia también de la heurística para resolver problemas y que es muy útil en matemáticas.