qertyuiopasdfghjklzxcvbnmqwertyuio pasdfghjklzxcvbnmqwertyuiopasdfghj klzxcvbnmqwertyuiopasdfghjklzxcvbn mqwertyuiopasdfghjklzxcvbnmqwerty NARRACIN uiopasdfghjklzxcvbnmqwertyuiopasdf LGICA MATEMTICA O SIMBLICA ghjklzxcvbnmqwertyuiopasdfghjklzxc vbnmqwertyuiopasdfghjklzxcvbnmrty uiopasdfghjklzxcvbnmqwertyuiopasdf ghjklzxcvbnmqwertyuiopasdfghjklzxc vbnmqwertyuiopasdfghjklzxcvbnmqw ertyuiopasdfghjklzxcvbnmqwertyuiop

asdfghjklzxcvbnmqwertyuiopasdfghjkl zxcvbnmqwertyuiopasdfghjklzxcvbnm qwertyuiopasdfghjklzxcvbnmqwertyui opasdfghjklzxcvbnmqwertyuiopasdfgh jklzxcvbnmqwertyuiopasdfghjklzxcvb

21/11/2012 JOS DARIO NAVARRETE ALBA

Definicin de Lgica Matemtica. Lgica es una palabra que tiene como raz el vocablo griego logos cuyo significado es palabra, idea o razn. Por tanto, podemos definir Lgica como la ciencia que se plantea estudiar formas de razonamiento validas. Segn la Academia de la Lengua Lgica es la disciplina que estudia la estructura, fundamento y uso de las expresiones del conocimiento humano. C.L. Chang la define como el estudio de los mtodos y principios del razonamiento humano en todas sus posibles formas. El primer sistema de lgica de predicados se debe a Aristteles (s. IV a. C.), quien trato de identificar las formas del razonamiento humano, para tratar de crear criterios para discernir en las discusiones filosficas. Esta lnea, que se conoce como lgica clsica (de aplicacin a la filosofa), fue seguida por otros pensadores. Adems fue aprovechada por Santo Tomas de Aquino (s. XIII) como vehculo de discusiones teolgicas. La siguiente etapa comienza en el s. XVII donde la Lgica matemtica o Lgica simblica comienza a perfilarse con Leibniz quien expres su deseo de extender la aplicacin de la lgica a las matemticas. Su ambicin era encontrar un procedimiento de comprobacin de teoremas, sin embargo no pudo cumplir su propsito. Durante los siguientes 150 aos ningn matemtico le dio importancia a los estudios de Leibniz pero a finales del siglo XIX, la lgica matemtica se constituyo como ciencia con los trabajos de Boole y Fregge. El primero desarrollo un modelo algebraico de la lgica proposicional y Fregge formaliz la lgica de predicados, desarrollando un lenguaje formal e introduciendo el concepto de cuantificadores. En esta misma poca tenemos que mencionar a Augustus de Morgan, quien formulo una herramienta fundamental del clculo lgico como es la ley de dualidad de la conjuncin y la disyuncin (leyes de Morgan). El comienzo del siglo XX supuso un auge de la lgica, Russell con la ayuda de Whitehead se propuso mostrar que la aritmtica era una extensin de la lgica, para contestar al desafo que Hilbert hizo sobre la axiomatizacin de las matemticas. Sin embargo, Gdel en 1936 contestaba negativamente a este desafo. La tercera poca de la lgica comienza con la aparicin de los ordenadores. Los ordenadores estaban resolviendo problemas en muchos campos y era natural que se pretendiera utilizarlos para demostrar automticamente los teoremas. Esta nueva poca ha producido mucho resultados en el campo de las aplicaciones prcticas como la elaboracin de estrategias de programacin que aprovecharon los conocimientos de la lgica. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y, O. Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la forman. 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. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. La lgica simblica moderna proporciona criterios ms generales de validez y herramientas de uso sistemtico para la aplicacin de tales criterios, con lo cual se ampla la capacidad para decidir sobre validez de razonamientos deductivos. Antes de aplicar el criterio de validez de razonamientos provisto por la lgica simblica, el razonamiento debe ser representado con smbolos de un alfabeto previamente establecido. Sin embargo, tengamos siempre en cuenta que este uso es convencional, es decir, que deben convenirse previamente su alcance y limitaciones, puesto que ningn sistema simblico logra capturar con absoluta precisin todos los matices y peculiaridades del lenguaje natural. En espaol y posiblemente esto es cierto en todos los lenguajes naturales no siempre los enunciados tienen un significado inequvoco. Por ejemplo, la expresin La vendedora entr colada por la puerta del estadio tiene dos significados en nuestra regin, segn el uso del trmino colada. Uno de estos significados es que la vendedora entr al estadio eludiendo el pago; el otro, que la vendedora entr ese tipo de bebida a travs de la puerta del estadio. Anlogamente, la frase Ayer vi a un seor con un telescopio tiene dos significados posibles, como bien puede concluir el lector. El uso del condicional proporciona ejemplos adicionales de ambigedad. Por ejemplo, con la expresin: Juan me explica el problema si tengo alguna duda, se est indicando que es suficiente tener alguna duda, para contar con la ayuda de Juan, esto es, que tener alguna duda es condicin suficiente para recibir la explicacin de Juan. En cambio, en la afirmacin Juan me explica el problema, si tiene tiempo, el contexto permite pensar que tener tiempo es condicin necesaria para que Juan le explique el problema. A pesar de tener la misma estructura, el condicional est utilizado con diferente propsito. La lgica simblica debe eliminar esta ambigedad, y por esto es necesario convenir cul de estos significados ser el adoptado en el sistema de representacin. La multiplicidad de significados y funciones gramaticales de una misma palabra, el empleo de expresiones idiomticas, y la carga emocional de las frases, son algunos factores que deben considerarse en el anlisis de los argumentos para decidir sobre su correccin o admisibilidad. Por esto un primer paso en el desarrollo de herramientas formales de anlisis para validez de razonamientos deductivos es eliminar, en lo posible, las imprecisiones y ambigedades propias del lenguaje natural. Con este propsito se construye un lenguaje formal, lo cual requiere: 1. Especificar el alfabeto utilizado. 2. Hacer explcitas las reglas para producir elementos del lenguaje y para decidir si una cadena especfica es o no un elemento de ese lenguaje. 3. Asignar significados inequvocos a los elementos del lenguaje. La lgica simblica moderna es un lenguaje que satisface estos requerimientos.

Caractersticas de la Lgica Matemtica Encontramos ciertas caractersticas dentro de este tipo de lgica, una caracterstica ms de es la Simbolizacin; bien, este tipo de lgica utiliza smbolos semejantes a los de las matemticas gracias a esto se puede uniformar el sentido exacto de las conexiones entre proposiciones y por lo tanto se puede inferir correctamente dentro de esta caracterstica encontramos a los conectores y las letras sentnciales, las ecuaciones que contienen un solo conector (que es el que une una proposicin con otra) y una sola letra sentencial (estas representan pensamientos, y son p, q, r y s ) se llaman atmicas y las que tienen dos o ms conectores o letras sentnciales se llaman moleculares Y enseguida abri un libro en el cual estaban plasmadas en pocas lneas estas caractersticas las cuales decan algo as: Formalismo: que consiste en atender nica y exclusivamente a los pensamientos, sus conexiones y sus reglas de inferencia, desde el momento en que se preside del contenido material de los pensamientos sometidos a esas reglas y estructuras. La logstica es apta para aplicarse en cualquier tipo de conocimiento cientfico, ya sea matemtico, filosfico o lgico, desde el momento en el cual los pensamientos son sometidos a dichas reglas. Simbolizacin: los smbolos lgicos tienen como principal funcin uniforma, esto es, formar conexiones para poder inferir correctamente a partir de ellos. Sin embargo, no se trata de cuantificar a la lgica como se ha hecho en otras ciencias, sino ms bien se trata de cualidades. La aplicacin de smbolos pseudomatemticos se puede decir que es una de las grandes ventajas de la Lgica Matemtica. La Lgica Matemtica sustituye a las literales por nmeros los cuales tienen un papel semejante al de los smbolos algebraicos. Algunos ejemplos de smbolos son los conectores de la lgica proposicional los cuales son: 1.-Negacin: ~. Por ejemplo: ~ p, se lee: no p. 2.-Conjuncin: . Por ejemplo: p q, se lee: p y q. 3.-Disyuncin inclusiva: . Por ejemplo: p q, se lee p o q. 4.-Disyuncin exclusiva: . Por ejemplo: p q, se lee: o p o q. 5.-Condicional: . Por ejemplo: p q, se lee: si p, entonces q. 6.-Bicondicional: . Por ejemplo: p q, se lee: p si y slo si q. 7.-Parntesis que unifican expresiones: [ (p q) r]. 8.-Por tanto: .. (Se utiliza igual que en las matemticas)1 Clculo: la logstica realiza una serie de combinaciones y operaciones deductivas que se infieren a partir de los datos inicialmente aportados. El resultado del clculo es lo que se denomina como pensamiento correcto. Los mecanismos del clculo pueden proporcionar conclusiones y formulas tiles para la solucin de una gran cantidad de problemas similares o para

Gutirrez Senz Ral, Introduccin a la Lgica, capitulo 47 Caractersticas de la Lgica Simblica, p.p. 285.

deducciones de cierto grado de dificultad. Un ejemplo de clculo lo encontramos en las llamadas tablas de la verdad de las cuales se hablara ms adelante. Axiomatizacin: primero hay que definir lo que es un axioma, segn el DRAE esta palabra significa: Proposicin tan clara y evidente que se admite sin necesidad de demostracin 2. Ahora la axiomatizacin se refiere a la operacin donde en un sistema de pensamientos se sealan los axiomas que se admitirn de manera lgica y que a travs del clculo nos llevaran inferencias o correctas o por el contrario si las proposiciones no son axiomas, habr que rechazarlas para que no nos lleven a argumentos incorrectos, segn Saenz la axiomatizacin es la operacin que consiste en sealar explcitamente los axiomas, que, dentro de un sistema de pensamientos, se van a admitir por su evidencia inmediata y sin demostracin lo cual posibilita que las dems proposiciones de ese sistema queden tambin, con base en clculo, o enlazadas necesariamente con los axiomas, o rechazadas como incompatibles con el punto de partida.3En otras palabras sistematiza conjuntos de proposiciones sealando los axiomas de los cuales dependen. Entonces es importante saber que en la lgica simblica para obtener pensamientos correctos habr que recurrir a los axiomas para ver en cul de estos axiomas encajan las proposiciones dadas para su clculo. No solo la lgica requiere el uso de axiomas, otras ciencias como las matemticas, la filosofa y la misma lgica tambin requieren de la axiomatizacin. Como ya sabemos la logstica nos ayudara la deduccin a travs de sus reglas establecidas, es por eso que hay que tener en claro al distinguir a los axiomas y a las reglas deductivas hay que dejarlo aclarado desde el principio de la axiomatizacin para despus seguir con el calculo que nos ayudara a sistematizar las proposiciones. Tabla de verdad Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes. Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logicophilosophicus, publicado en 1921.

Diccionario de la Real Academia Espaola. Biblioteca de Consulta Microsoft Encarta 2004. 19932003 Microsoft Corporation. Reservados todos los derechos.
3

Gutirrez Senz Ral, Introduccin a la Lgica, capitulo 47 Caractersticas de la Lgica Simblica, p.p. 286.

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga posible la formalizacin de argumentos: Como razonamientos deductivos lgico-lingsticos Verdadero El valor verdadero se representa con la letra V, si se emplea notacin numrica se expresa con un uno: 1, en un circuito elctrico, el circuito est cerrado. El valor falso se representa con la letra F, si se emplea notacin numrica se expresa con un cero: 0, en un circuito elctrico, el circuito est abierto. Variable Para una variable lgica A, B, C,... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen as:

Letras Sentenciales. Para trabajar con la lgica de proposiciones, resulta difcil manejar stos como elementos de una nueva lgebra, motivo por el cual se tratan de simbolizar estas proposiciones. A esta simbolizacin se les denomina sentencias, por stas se entiende como una serie de signos por medio de los cuales se expresan proposiciones. Las sentencias se simbolizan mediante letras, llamadas letras sentenciales, las cuales pueden ser: p, q, r, s, t,..., en donde cada letra sentencial representa un enunciado declarativo (una proposicin). Conectores Lgicos. Se definen bsicamente 5 elementos cuyos propsitos son enlazar las proposiciones simples o atmicas: 1. La CONJUNCIN: La conjuncin se representa por v y se lee y. 2. La DISYUNCIN: Se divide en disyuncin inclusiva que se representa por w y se lee o; o tambin se lee como uno u otro o ambos. La disyuncin exclusiva se representa por y se lee como O exclusiva, o tambin como uno u otro pero no ambos. 3. CONDICIONAL: Se representa por medio de una flecha 6 y se lee si.....entonces..... 4. BICONDICIONAL: Se representa por o (relacin de equivalencia) y se lee.....si y slo si....., o tambin como condicin necesaria y suficiente.

5. NEGACIN: Se lee como no, es falso que, no es verdad que; y hay muchas formas de representarlo (', $,...) Construir enunciados compuestos introducimos smbolos para las conectivas o nexos de unin: Llamaremos esqueleto lgico de un enunciado compuesto al resultado de simbolizar dicho enunciado. Ntese que un esqueleto lgico puede ser comn a varios enunciados diferentes. AyB AB Esto nos permite analizar las deducciones, pues una deduccin tiene que ver con las formas del AoB AB enunciado, y no con su significado. Por tanto, estudiamos formas enunciativas y no enunciados si A, entonces B A B particulares. Denotaremos con letras minsculas p, q, r,... a las variables de enunciado que A si, y solo si B A B designan enunciados simples arbitrarios. Estasvariables nos permitirn describir las propiedades que poseen los enunciados y las conectivas. Como todo enunciado es verdadero o falso, una variable de enunciadotomar uno u otro de entre estos dos valores de verdad: V (verdadero) o F (falso). CONECTIVAS no A SIMBOLOS ~A

CONECTIVA LGICA 1. No p 2. p y q 3. p o (inclusiva) q p o q o ambas 4. p o (exclusiva) q p o q pero no ambas 5. p o q 6. p aunque q 7. p a condicin de que q 8. p si q 9. Si p entonces q 10. p implica q 11. p siempre y cuando q 12. p tanto como q 13. p si y slo si q 14. No ambas p y q 15. Es falso que p y q 16. No es cierto que p o q 17. Ni p ni q 18. Cuando p entonces q 19. p a no ser que q 20. p a condicin necesaria y suficiente que q 21. A a menos que B

TRADUCCIN LGICA 1. p' 2. p v q 3. p w q 4. p q (p v q') w (p' v q) 5. p w q 6. p v q 7. q 6 p q' w p 8. q 6 p q' w p 9. p 6 q p' w q 10. p 6 q p' w q 11. q 6 p q' w p 12. p v q 13. p q (p v q) w (p' v q') 14. (p v q)' p' w q' 15. (p v q)' p' w q' 16. (p w q)' p' v q' 17. p' v q' (p w q)' 18. p 6 q p' w q 19. q' 6 p qwp 20. p q (p v q) w (p' v q') 21. B' 6 A BwA

Uso de conectores lgicos e la Tabla de la Verdad. Negacin La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada. Conjuncin La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas La tabla de verdad de la conjuncin es la siguiente: Disyuncin La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas. La tabla de verdad de la disyuncin es la siguiente:

Implicacin o Condicional

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso. La tabla de verdad del condicional material es la siguiente: Equivalencia o Bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad diferente. La tabla de verdad del bicondicional es la siguiente: Tablas de verdad Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposiciones que la integran, encontrndonos con los siguientes casos: Verdad Indeterminada o Contingencia: Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: . Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3) Una columna (Columna 4) en la que se establecen los valores de aplicando la definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la

proposicin completa , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin cundo es F. Contradiccin es V y

Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso: Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es verdad su contradiccin es falsa, y si A es falsa su contradiccin es verdad, la conjuncin de ambas da falso en todos los casos. Tautologas Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso: Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es verdad, su negacin es falsa y si A es falsa su negacin es verdad, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos. Tablas de verdad, proposiciones lgicas y argumentos deductivos En realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos manifesta todo lo que implican las relaciones sintcticas entre las diversas proposiciones. No obstante la sencillez del algoritmo, aparecen dos dificultades. La gran cantidad de operaciones que hay que hacer para una proposicin con ms de 4 variables. Esta dificultad ha sido magnficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna. Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la proposicin condicionada, como conclusin, sea previamente conocida, al menos como hiptesis, hasta comprobar que su tabla de verdad manifiesta una tautologa. Por ello se construye un clculo mediante cadenas deductivas:

Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento. Se establecen como reglas de clculo algunas tautologas como tales leyes lgicas, (pues garantizan, por su carcter tautolgico, el valor V). Se permite la aplicacin de dichas reglas como reglas de sustitucin de frmulas bien formadas en las relaciones que puedan establecerse entre dichas premisas. Deduciendo mediante su aplicacin, como teoremas, todas las conclusiones posibles que haya contenidas en las premisas. Cuando en un clculo se establecen algunas leyes como principios o axiomas, el clculo se dice que es axiomtico. El clculo lgico as puede utilizarse como demostracin argumentativa.

10

BIBLIOGRAFA

CISNEROS FARIAS, G., 2007. LGICA JURIDICA. PRIMERA EDICIN ed. MXICO: PORRA. Copi, I. M. & Cohen, C., 2001. Introduccin a la Lgica. 1 ed. Mxico: LIMUSA. Gutierrez Garca, R. E. R., 2003. NOTAS DE LGICA APLICADAS AL DERECHO. TOLUCA DE LERDO, MXICO: UAEMEX. GUTERREZ SENZ, R., 1996. INTRODUCCIN A LA LGICA. CUARTA EDICIN ed. MXICO: ESFINGE.

11