logica matemtica La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin

de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y algoritmos, utilizando un lenguaje formal. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o 1 logstica), lgica matemtica, lgica teortica y lgica formal. La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente. APLICACION DE LA LOGICA MATEMATICA AL DERECHO. La lgica matematica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica y otras ciencias sociales. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. Los matemticos para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En derecho se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para proceder un caso ante un juez de justificacin. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por contradiccin, en donde incluye reglas de inferencia. Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o ms corto dependiendo de las reglas de inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y frmulas. De tal manera que cuando llegue

a poner en practica esto, el sea capaz de inventar su propia solucin, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. La lgica matematica es la ciencia que estudia las leyes de inferencia en los razonamientos. Por medio de la formalizacin del lenguaje y de sus reglas bsicas, proporciona las herramientas necesarias para poder tratar e intentar resolver rigurosamente problemas que tienen sus origines y aplicaciones en todas las areas de las ciencias. La definicin de lgica como ciencia formal en la cultura occidental es el resultado de un largo desarrollo histrico que empieza con las obras de algunos filsofos griegos y llega hasta la actualidad. Histricamente las reas de aplicacin ms importantes de la lgica son la filosofa las matemticas y la informtica. En las matemticas es necesario aprender a distinguir entre razonamientos que son matemticamente correctos (las demostraciones) y razonamientos que no lo son. Adems, para poder resolver problemas concretos es necesario desarrollar la habilidad de construir razonamientos matemticos originales. La lgica proporciona las herramientas necesarias para el razonamiento matemtico, pero tambin para muchas otras aplicaciones. Toda teora matemtica se construye a partir de unos axiomas, que definen las propiedades bsicas de los objetos de la teora que se consideran verdaderas y, sin embargo, no se demuestran. Las aplicaciones de la lgica matematica no terminan aqu, el desarrollo del pensamiento jurdico y la ciencia del Derecho, desde sus inicios ha tomado como base el estudio de las proposiciones y las reglas de inferencia lgicas para comprobar la validez de argumentos, demostracin de hiptesis y la forma de la escritura de las leyes que rigen la convivencia de las naciones del mundo. Podemos encontrar por ejemplo, un artculo del Dr. Olsen Ghirardi, de la Academia Nacional de Derecho y Ciencias Sociales de Crdoba (Argentina), llamado Derecho, Lgica Y Experiencia La Lgica es un instrumento que nos previene del error y que nos permite razonar correctamente. Por eso, es importante cuando pensamos y cuando expresamos nuestros pensamientos. La Lgica rige el pensar jurdico: en el sistema codificado la deduccin y, en el sistema del common law, la induccin. Como podemos ver, la lgica matemtica est inmersamente en campos como el derecho y las leyes, obviamente, necesitamos desarrollar esta teora que nos servir, entre otras cosas, como dice O. Ghirardi, para razonar correctamente. La lgica matemtica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. El orden en que se presenta el documento es el siguiente: Primeramente se establece la

importancia de la lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por contradiccin, en donde incluye reglas de inferencia. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. Uno de los objetivos principales del constructivismo, es la construccin del conocimiento. El tema de "lgica matemtica", se presta para que el alumno pueda realizar los relacionamientos entre las distintas proposiciones, esto permite crear nuevas formas de resolver problemas en distintas ramas: matemticas, fsica, qumica pero tambin en las ciencias sociales y por su puesto cualquier problema de la vida real. Porque cada vez que nos enfrentamos a un problema, manipulamos la informacin por medio de reglas de inferencia que aunque no estn escritas debemos respetar. Cada vez que realizamos una actividad empleamos la lgica para realizarla, quiz algunos realicen dicha actividad por caminos ms corto, otros realizan recorridos ms largos, pero al fin de cuentas lo que importa es llegar al resultado.