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: Est lloviendo Comet una equivocacin al matricular este curso Maana es Lunes Siete es un nmero natural

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: q: r: La tierra es plana. -17 + 38 = 21 x > y-9

s: t: w:

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: Entra al cine. q: Compra su boleto. r: Obtiene un pase. La nica manera en la que no puede ingresar al cine (p=F), es que no compre su boleto (q=F) y que no obtenga un pase (r=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 enciende cuando tiene gasolina en el tanque y tiene corriente la batera. Sean: p: El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera. De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue: p=qr De la tabla de verdad, si q = V significa que el tanque tiene gasolina, r = V significa que la batera tiene corriente y p = q r = V significa que el coche puede encender. Se puede notar que si q o r 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 Ejemplo: Sea el siguiente enunciado Est lloviendo en este momento. ~p F V r V F V F qr V F F F

Sea: p: Est lloviendo en este momento. La negacin de est lloviendo en este momento (p=V), es no est lloviendo en este momento (~p=F). 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 q V F V F pq V F V V

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. 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. Cuando p = V y q = F significa que p q = F; el candidato minti, ya que sali electo y no se incrementaron los salarios. 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. 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

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.