Logica Matematica

Lógica
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón,intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto de estudio tradicional de la química es lamateria, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lógica investiga los principios por loscuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Poresta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del sigloXIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica,un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación conlos argumentos formulados en lenguaje natural
Matemáticas
Las matemáticas o la matemática1 (del lat. mathematĭca, y este del gr. μαθηματικά, derivado de μάθημα, conocimiento) es una ciencia formalque, partiendo de axiomas y siguiendo el razonamiento lógico, estudia las propiedades y relaciones entre entes abstractos (números, figuras geométricas, símbolos). Las matemáticas se emplean paraestudiar relaciones cuantitativas, estructuras, relaciones geométricas y las magnitudes variables. Los matemáticos buscan patrones,2 3 formulan nuevas conjeturas e intentan alcanzar la verdad matemática...