Lógica Matemática

Lalgica matemticaes una parte de la HYPERLINK https//es.wikipedia.org/wiki/LC3B3gica o Lgica lgicay la HYPERLINK https//es.wikipedia.org/wiki/MatemC3A1tica o Matemtica matemtica, que consiste en el estudio matemtico de la lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias. La lgica matemtica tiene estrechas conexiones con las HYPERLINKhttps//es.wikipedia.org/wiki/Ciencias_de_la_computaciC3B3n o Ciencias de la computacin ciencias de la computaciny la HYPERLINK https//es.wikipedia.org/wiki/FilosofC3ADa_analC3ADtica o Filosofa analtica lgica filosfica. La lgica matemtica estudia los HYPERLINK https//es.wikipedia.org/wiki/Sistema_formal o Sistema formal sistemas formalesen relacin con el modo en el que codifican o HYPERLINKhttps//es.wikipedia.org/wiki/DefiniciC3B3n_(matemC3A1tica) o Definicin (matemtica) definennociones intuitivas de objetos matemticos como HYPERLINK https//es.wikipedia.org/wiki/Conjunto o Conjunto conjuntos, HYPERLINK https//es.wikipedia.org/wiki/NC3BAmero o Nmero nmeros, HYPERLINK https//es.wikipedia.org/wiki/DemostraciC3B3n_matemC3A1tica o Demostracin matemtica demostraciones, y HYPERLINKhttps//es.wikipedia.org/wiki/Algoritmo o Algoritmo algoritmos, utilizando un HYPERLINK https//es.wikipedia.org/wiki/Lenguaje_formal o Lenguaje formal lenguaje formal. La lgica matemtica suele dividirse en cuatro subcampos HYPERLINK https//es.wikipedia.org/wiki/TeorC3ADa_de_modelos o Teora de modelos teora de modelos, HYPERLINK https//es.wikipedia.org/wiki/TeorC3ADa_de_la_demostraciC3B3n o Teora de la demostracin teora de lademostracin, HYPERLINK https//es.wikipedia.org/wiki/TeorC3ADa_de_conjuntos o Teora de conjuntos teora de conjuntosy HYPERLINK https//es.wikipedia.org/wiki/TeorC3ADa_de_la_computabilidad o Teora de la computabilidad teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los HYPERLINK https//es.wikipedia.org/wiki/Fundamentos_de_las_matemC3A1ticas oFundamentos de las matemticas fundamentos de las matemticas. Actualmente se usan indiferentemente comosinnimoslas expresiones lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. HYPERLINK https//es.wikipedia.org/wiki/LC3B3gica_matemC3A1tica l cite_note-1 1 La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes de la lgica quepueden ser modeladas y estudiadas matemticamente. Siglo XIX HYPERLINK https//es.wikipedia.org/w/index.phptitleLC3B3gica_matemC3A1ticaactioneditsection2 o Editar seccin Siglo XIX editar Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como HYPERLINK https//es.wikipedia.org/wiki/Leibniz o Leibniz LeibnizyHYPERLINK https//es.wikipedia.org/wiki/Johann_Heinrich_Lambert o Johann Heinrich Lambert Lambert, pero su labor permaneci desconocida y aislada. A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En 1847, HYPERLINK https//es.wikipedia.org/wiki/George_Boole o George Boole George Boolepublic un breve tratado tituladoEl anlisis matemtico de la lgica, y en 1854otro ms importante tituladoLas leyes del pensamiento. La idea de Boole fue construir a la lgica como un HYPERLINK https//es.wikipedia.org/wiki/CC3A1lculo o Clculo clculoen el que los HYPERLINK https//es.wikipedia.org/wiki/Valor_de_verdad o Valor de verdad valores de verdadse representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican HYPERLINKhttps//es.wikipedia.org/wiki/OperaciC3B3n_matemC3A1tica o Operacin matemtica operaciones matemticascomo la HYPERLINK https//es.wikipedia.org/wiki/Suma o Suma sumay la HYPERLINK https//es.wikipedia.org/wiki/MultiplicaciC3B3n o Multiplicacin multiplicacin. Al mismo tiempo, HYPERLINK https//es.wikipedia.org/wiki/Augustus_De_Morgan o Augustus De Morgan Augustus De Morganpublica en 1847 su obraLgica formal, donde introduce las...