Se conoce como lógica matemática, también llamada lógica simbólica, lógica formal, lógica teorética o logística, a la aplicación del pensamiento lógico a determinadas áreas de la matemática y la ciencia.
Esto implica el estudio del proceso de la inferencia, mediante sistemas formales de representación, como la lógica proposicional, la lógica modal o la lógica del primer orden, los cuales permiten “traducir” el lenguaje natural al lenguaje matemático para poder desarrollar así demostraciones rigurosas.
La lógica matemática abarca cuatro grandes áreas, que son:
Teoría de modelos
Teoría de la demostración
Teoría de conjunto
Teoria de computabilidad
No hay comentarios.:
Publicar un comentario
Gracias por tu comentario lo tomaremos en cuenta