Más contenido en redes:

¿Qué es la lógica matemática?


La lógica matemática es una parte de las matemáticas que se encarga de estudiar la forma de razonamiento, es decir, por medio de reglas y técnicas, determina si un argumento es válido o no. 

La lógica es ampliamente utilizada en filosofía, matemáticas y computación. En los últimos cincuenta años, la lógica matemática ha experimentado grandes avances y ha dado lugar a la llamada lógica moderna. 

Para distinguirla de la lógica clásica, a la moderna se le denominó lógica de primer orden. La lógica de primer orden implica solo expresiones finitas y fórmulas bien definidas.