DEFINICIÓN DE LÓGICA MATEMÁTICA

DEFINICIÓN DE LÓGICA. Una de las acepciones con que la RAE define a la lógica es "la ciencia que expone las leyes, modos y formas de las proposiciones en relación con su verdad o falsedad".

Desde que el ser humano aprendió a razonar, hace miles de años, su lógica le permitía comprender el desenlace de ciertos actos que realizaba, o sea, que esperaba una respuesta adecuada a su acto y la aplicaba y transmitía a las futuras generaciones.

Fue en Grecia, que con los primeros filósofos se da estructura a esta ciencia del conocimiento (lógica clásica), quienes aplican la unión de premisas que se desencadenan mediante el razonamiento y que producen valores de verdad que son indiscutibles para todos, eliminándose con ello la probabilidad de esperar un resultado ambiguo. Visto esto, la respuesta esperada debe ser  verdadera o falsa.

La lógica clásica se mantuvo durante muchos siglos y fue Gottlob Frege, en el siglo XIX, que creó la lógica matemática o moderna, logrando reunir lenguaje, matemáticas y símbolos (conectores y cuantificadores).

DEFINICIÓN DE LÓGICA MATEMÁTICA. Según la RAE, lógica matemática es "la rama de la lógica que opera usando un lenguaje simbólico abstracto para representar la estructura básica de un sistema".

Para su estudio la lógica matemática se vale de proposiciones, conectivos y cuantificadores, que permiten obtener valores de verdad (verdaderos o falsos), siguiendo el estudio de las leyes de la lógica.