Colegio Carlos A.

Carrillo

Jos Enrique Jimnez Caldelas.

Materia: Matemticas.

Titulo de investigacin: Antecedentes histricos de la lgica matemtica.

5 U.

Sistema UPAV.

Introduccin.

Las personas constantemente toman decisiones acerca de lo que creen que es verdadero en distintos aspectos de nuestras vidas. Aunque todo el mundo est de acuerdo en preferir creer lo que es verdad, con frecuencia se discrepa sobre lo que es verdadero en casos particulares. Si bien muchas de las convicciones fundamentales sobre el mundo que nos rodea se adquiere de cualquier manera en lugar de mediante el uso de la razn, todos reconocen que nuestras creencias sobre el mundo estn de algn modo ligadas.

Desarrollo.
Lgica 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 nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. 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 logstica), lgica matemtica, lgica teortica y lgica formal.1 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. Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como Leibniz yLambert, pero su labor permaneci desconocida y aislada. Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a

un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos). Concepto de Lgica Matemtica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia la forma del razonamiento. 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 vlido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida. Definicin y clases de proposiciones. Una proposicin o enunciado es una oracin que puede ser falso o verdadero pero no ambas a la vez. Toda proposicin consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposicin es un elemento fundamental de la Lgica Matemtica. En general, las proposiciones pueden ser:

Simples si slo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones compuestas Cerradas si tienen determinado el sujeto. Abiertas si no lo tienen determinado. Afirmativas o negativas segn lo afirmen o nieguen. Verdaderas o falsas segn correspondan o no a la realidad.

Para fines didcticos se dividen en:

Lgica proposicional: Consideraremos dos elementos bsicos, proposiciones y conectivos. Proposiciones: son frases sobre las cuales podemos decidir, unvocamente, sobre la verdad (V) o falsedad (F)

Ejemplo:

x+4=9 y x=5

Lgica funcional: Smbolos que, junto con las proposiciones bsicas, nos permiten crear nuevas proposiciones, son:

se lee no se lee y se lee o se lee implica o si,entonces, se lee equivalente con o "si, slo s" Leyes notables. Las leyes de lgica ms notables son las que se en listan a continuacin: 1. Ley de doble negacin 2. Leyes de idempotencia 3. Leyes asociativas 4. Leyes conmutativas 5. Leyes distributivas 6. Leyes de De Morgan reas. La Mathematics Subject Classification divide la lgica matemtica en las siguientes reas:

Filosfica y crtica Lgica general (que incluye campos como la lgica modal y la lgica borrosa) Teora de modelos Teora de la computabilidad Teora de conjuntos Teora de la demostracin y matemtica constructiva algebraica]] Modelos no-estndar

En algunos casos hay conjuncin de intereses con la Informtica terica, pues muchos pioneros de la informtica, como Alan Turing, fueron matemticos y lgicos. As, el estudio de la semntica de los lenguajes de programacin procede

de la teora de modelos, as como tambin la verificacin de programas, y el caso particular de la tcnica del model checking. Tambin el isomorfismo de ChurryHoward entre pruebas y programas se corresponde con la teora de pruebas, donde la lgica intuicionista y la lgica lineal son especialmente significativas. Algunos sistemas lgicos como el clculo lambda, y la lgica combinatoria entre otras han devenido, incluso, autnticos lenguajes de programacin, creando nuevos paradigmas como son la programacin funcional y la programacin lgica. Lgica de predicados. La lgica de predicados es un lenguaje formal en el que las sentencias bien formadas son producidas por las reglas enunciadas a continuacin. [editar]Vocabulario Un vocabulario es una tupla: consta de:

que

smbolos relacionales , cada uno de ellos con un nmero entero asociado, el cual se conoce como la aridad de smbolos funcionales smbolos constantes , cada uno de aridad

Una frmula de primer orden en el vocabulario , es una frmula de primer orden donde los nicos predicados, funciones y constantes empleados son los especificados por . Lenguajes y estructuras de primer orden. Un lenguaje de primer orden' clasificados como sigue: 1. El smbolo de igualdad' y el parntesis , . 2. Un conjunto contable de smbolos de variable 3. Un conjunto de smbolos de constante 4. Un conjunto de smbolos de funcin 5. Un conjunto de smbolos de relacin . . . . ; las conectivas , ; el cuantificador universal es una coleccin de distintos smbolos

As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos constantes, smbolos de funcin y smbolos relacionales,

dado que el primer conjunto de smbolos es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte de la estructura de las funciones y relaciones. Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de una semntica apropiada. Una -estructura sobre el lenguaje , es una tupla consistente en un conjunto no vaco , el universo del discurso, junto a: 1. Para cada smbolo constante 2. Para aria sobre cada smbolo . -aria . de , una relacin -aria , esto es, un subconjunto de de , tenemos un elemento -aria de , una . function -

function

3. Para cada smbolo de relacin

A menudo, usaremos la palabra modelo para denotar esta estructura.

Conclusin.

En conclusin, se puede estar de acuerdo con el camino que sigue un razonamiento aunque se discierna de sus puntos de partida y de llegada. Es decir, es posible distinguir los razonamientos vlidos del invlido independientemente de que se est o no de acuerdo con el contenido que expresen dichos razonamientos. Dicho de forma muy simple, la lgica es la disciplina que estudia esta distincin determinando las condiciones bajo las cuales la verdad de ciertas creencias conduce con certeza a la verdad de alguna otra creencia. La lgica estudia, pues, los principios de los razonamientos correctos. Hay que apresurarse a sealar que la lgica no garantiza que siempre se llegue a conclusiones verdaderas, ya que algunas veces las creencias de las que se parte son errneas. Lo que s garantiza la lgica es que siguiendo los principios de los razonamientos correctos, no surjan otros errores aparte de los derivados de la posible falsedad de los conocimientos que sustancian nuestros razonamientos.

Bibliografa.

http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica http://profatria.tripod.com/logicamatematica/index.htm