LOGICA MATEMATICA 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; 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. Lgica proposicional La lgica proposicional es la parte de la lgica que estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples. Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Proposiciones. Una proposicin es una asercin o enunciado expresado en lenguaje natural escrito o hablado, mediante una expresin declarativa; que puede ser cierta o falsa, pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. La proposicin puede ser simple o compuesta y se denotan generalmente por las ultimas letras del alfabeto (p, q, r, s,,z). Proposiciones simples Una proposicin es simple, cuando no puede dividirse en partes constitutivas que sean a su vez proposiciones. Como ejemplos de proposiciones simples podemos sealar, las siguientes: La araa es mamfero Est lloviendo Comet una equivocacin al matricular este curso Maana es Lunes Siete es un nmero natural La luna es cuadrada

Las proposiciones simples deben ser enunciados simples del espaol, pero debemos recordar que el espaol usual es un lenguaje informal, o sea que es un lenguaje cuya gramtica est sujeta a modificacin de estilo y la manera en la cual una verdad puede ser expresada correctamente en algo que depende en mucho de la opinin de cada quien. Debe tenerse cuidado de emplear ambigedades de las que surgen en la conversacin ordinaria y cuidarse del lenguaje ambiguo que se usa deliberadamente en los discursos polticos. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p: La tierra es plana.

q: r: s: t: w:

-17 + 38 = 21 x > y-9 El Cruz Azul ser campen en la presente temporada de Futbol. Hola como estas? Psame el libro por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas. El inciso r tambin es una proposicin vlida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin est perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de futbol. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. Proposiciones compuestas Una proposicin es compuesta si se puede partir en partes constitutivas que son a su vez proposiciones simples y estn unidas por conectivos lgicos. Comenzamos por hacer abstracciones de ciertas propiedades del lenguaje informal. En particular hacemos abstraccin de las propiedades lgicas de las conectivas con las cuales combinamos proposiciones simples para formar proposiciones compuestas. Tenemos que hacer reglas precisas sobre el modo como estas conectivas combinan proposiciones y, para construir un lgebra necesitamos tener una manera simblica de representar las proposiciones simples y tambin las conectivas. Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: Disyuncin inclusiva Disyuncin exclusiva Conjuncin Negacin Condicional Bicondicional

Conectivos lgicos y tablas de verdad A partir de los conectores u operadores lgicos, es posible formar proposiciones compuestas (formadas por varias proposiciones simples y conectadas entre s por los conectores lgicos), sin embargo los criterios de verdad resultantes de los operadores lgicos estn regidos por determinadas reglas de la lgica booleana que sealaremos en forma posterior. Disyuncin inclusiva (Or) La disyuncin inclusiva, llamada tambin alternacin, es el operador correspondiente al trmino "o". Su smbolo es "", colocada entre dos proposiciones. Sin embargo, la "o" en este caso no tiene carcter de encrucijada o de dilema, y se puede interpretar como " o uno u otro o ambos". Por ciertas analogas con el lgebra se le llama tambin suma lgica. La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

 Una disyuncin inclusiva es verdadera cuando por lo menos una de sus alternativas es verdadera; solamente ser falsa si las dos lo son. La tabla de verdad del enunciado anterior es como sigue: p V V F F Ejemplo. Sea el siguiente enunciado: Una persona puede entrar al cine si compra su boleto u obtiene un pase Sean: p: Compra su boleto. q: Obtiene un pase. r: Entra al cine. La nica manera en la que no puede ingresar al cine (r = F), es que no compre su boleto (p = F) y que no obtenga un pase (q = F). Disyuncin exclusiva (Xor) La disyuncin exclusiva corresponde a la expresin " o uno u otro, pero no ambos a la vez". Ejemplos de expresiones afines a esta conectiva son " a menos que" o "salvo que". Su smbolo es "". La regla de la tabla de verdad para esta conectiva lgica es la siguiente: Una disyuncin exclusiva es verdadera cuando una de sus alternativas es verdadera; y ser falsa si las dos alternativas son falsas o verdaderas. La tabla de verdad del enunciado anterior es como sigue: p V V F F q V F V F pq F V V F q V F V F pq V V V F

En el lenguaje natural empleamos este sentido exclusivo de la disyuncin cuando decimos que alguien es cristiano o musulmn. Si alguien es cristiano, si es consecuente con ello, no podr ser musulmn, y viceversa. O cuando decimos que un examen se aprueba o se reprueba. Conjuncin (And) La conjuncin es el operador correspondiente al trmino "y", se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su smbolo es o en forma alternativa: . &. Se le conoce como la multiplicacin lgica. La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la siguiente:

 Una conjuncin de enunciados en los cuales todos son verdaderos, es verdadera Una conjuncin de enunciados en donde no todos son verdaderos, es falsa. Lo que equivale a decir que basta que uno de sus componentes sea falsa para que toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos componentes lo sean. Lo expresado anteriormente se resume simblicamente con la siguiente tabla de verdad: q V V F F Ejemplo. Sea el siguiente enunciado: El coche arranca cuando tiene gasolina en el tanque y tiene corriente la batera. Sean: p: Tiene gasolina el tanque. q: Tiene corriente la batera. r: El coche arranca. De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue: r=pq De la tabla de verdad, si p = V significa que el tanque tiene gasolina, q = V significa que la batera tiene corriente y r = p q = V significa que el coche puede encender. Se puede notar que si p o q valen F implica que el auto no tiene gasolina la batera no tiene corriente y que por lo tanto no puede encender. La conclusin resultante es que para que el auto encienda se debe tener gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto no arrancar. Negacin (Not) Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica este operador, se obtendr su complemento o negacin (falso). Se simboliza, generalmente por el signo "". La negacin corresponde a la expresin: "no es el caso que" o, ms brevemente, "no". A partir de la teora de conjuntos, establecimos si un elemento pertenece o no a un conjunto y se seal que si no es elemento del conjunto, entonces es elemento del conjunto complemento. Por tanto la negacin se refiere al conjunto complemento. Se establece el siguiente principio para la negacin lgica: la negacin de un enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero. Lo que equivale a decir que la negacin de la negacin de una proposicin verdadera es verdadera; y la negacin de la negacin de una proposicin falsa es falsa. p V F p F V r V F V F qr V F F F

Ejemplo: Sea el siguiente enunciado Est lloviendo en este momento. Sea: p: Est lloviendo en este momento. La negacin de est lloviendo en este momento, es: p = NO est lloviendo en este momento. Condicional La condicional, expresada por la frase "si entonces", se simboliza mediante el signo "" colocado entre las dos proposiciones. La primera proposicin lleva el nombre de antecedente y la segunda proposicin la de consecuente. La condicional, segn veremos, es una conectiva para la cual importa el orden de las clusulas, esto es, se trata de un conector no conmutativo. En este caso el antecedente es una condicin suficiente respecto del consecuente y el consecuente es una condicin necesaria respecto del antecedente. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: La condicional ser falsa slo cuando el antecedente es verdadero y el consecuente es falso, en los dems caso ser verdadera. La tabla de verdad del enunciado anterior es como sigue: p V V F F Ejemplo. El candidato dice: Si salgo electo presidente de la Repblica recibirn un 50% de aumento en su sueldo el prximo ao. Sean: p: Sali electo Presidente de la Repblica. q: Recibirn un 50% de aumento en su sueldo el prximo ao. De tal manera que el enunciado se puede expresar de las siguiente manera. pq Se desea analizar si el candidato presidencial minti con la afirmacin del enunciado anterior: 1. Cuando p = V y q = V significa que sali electo y recibieron un aumento de 50% en su sueldo, por lo tanto p q = V; significa que el candidato dijo la verdad en su campaa. 2. Cuando p = V y q = F significa que p q = F; el candidato minti, ya que sali electo y no se incrementaron los salarios. q V F V F pq V F V V p = F p=V

3. Cuando p = F y q = V significa que aunque no sali electo hubo un aumento del 50% en su salario, que posiblemente fue ajeno al candidato presidencial y por lo tanto; tampoco minti de tal forma que p q = V. 4. Cuando p = F y q = F significa que como no sali electo no hubo un aumento del 50% en el salario, y por lo tanto; tampoco minti de tal forma que p q = V. Ejemplo. Sea: Si estudio entonces apruebo matemticas Sean: p: Si estudio. q: apruebo matemticas. p V V F F Bicondicional. La bicondicional, expresada por la frase "si y solo s", denotada por el signo"", significa una relacin bidireccional en donde ambas proposiciones se necesitan entre s. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: La conectiva bicondicional ser verdadera solamente si y solo si las dos sentencias que la componen son a la vez verdaderas o si son ambas falsas. Lo expresado anteriormente se resume simblicamente con la siguiente tabla de verdad: p V V F F q V F V F pq V F F V q V F V F pq V F V V

Si estudio entonces apruebo matemticas, se cumple Si estudio pero no apruebo matemticas, no se cumple No estudio pero si apruebo matemticas, se cumple No estudio entonces no apruebo matemticas, se cumple

Ejemplo. El enunciado siguiente es una proposicin bicondicional. Es buen estudiante, si y solo si; tiene promedio de diez Donde: p: Es buen estudiante. q: Tiene promedio de diez. El enunciado se puede expresar de las siguiente manera. pq

Lmites de la lgica proposicional La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento: 1. Todos los hombres son mortales. 2. Scrates es un hombre. 3. Por lo tanto, Scrates es mortal. Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente: 1. p 2. q 3. Por lo tanto, r Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa la lgica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la lgica temporal.