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 la 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.

Proposiciones y operaciones lgicas.

Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica.

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: s: t: w:

La tierra es plana. -17 + 38 = 21 x > y-9 El Morelia ser campen en la presente temporada de Fut-Bol. Hola como estas? Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, 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 esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de fut-boll. 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.

Negacin, Conjuncin, disyuncin y tablas de verdad

La Negacin La operacin unitaria de negacin, no es cierto que se representa por y tiene la siguiente tabla de verdad de verdad p V F p F V

Ejemplo. Encuentre la negacin de las expresiones siguientes: i) Jpiter es un planeta ii) El pizarrn es verde iii) El nmero real x es negativo iv) Algn elefante es de color rosa v) Ningn pez respira fuera del agua vi) Todos los leones son feroces Solucin: i) Jpiter no es un planeta ii) El pizarrn no es verde iii) El nmero real x no es negativo o tambin El nmero real x es positivo cero iv) Ningn elefante es de color rosa v) Algn pez respira fuera del agua vi) Algn len no es feroz Nota: Las tres ltimas proposiciones se derivan de proposiciones abiertas que veremos en la seccin 1.4 Calculo de Predicados Definicion. Hacer los ejercicios del 10 al 16 Ejercicios MCI 2 La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es: p V V q V F p^q V F

F F

V F

F F

La conjuncin nos sirve para indicar que se cumplen dos condiciones simultneamente, as por ejemplo si tenemos: La funcin es creciente y est definida para los nmeros positivos, utilizamos p ^ q, donde p: la funcin es creciente q: la funcin esta definida para los nmeros positivos As tambin: p ^ q, donde p: el nmero es divisible por 3 q: el nmero est representado en base 2 se lee: El nmero es divisible entre 3 y est representado en base 2. Nota: Observamos que para la conjuncin p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y slo en ese caso como se indica por su tabla de verdad.

La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla: p q V V V F F F V F pvq V V V F

Con la disyuncin a diferencia de la conjuncin, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresin p q sea verdadera. As por ejemplo la expresin: el libro se le entregar a Juan o el libro se le entregar a Luis significa que si va uno de los dos, el libro se le entrega, si van los dos tambin se entrega y solamente en caso de que no vaya ninguno de los dos no se debe entregar. Aqu debemos tener cuidado, porque en espaol muchas veces utilizamos la disyuncin para representar otros operadores que aparentemente son lo mismo, pero que tienen diferente significado.

En espaol tenemos tres casos de disyuncin: La llamada y/o bancaria, lgica o matemtica, que es la misma y se utliza en computacin como el operador OR, este operadorcorresponde al mencionado anteriormente p v q y ya se mostr su tabla de verdad. La o excluyente, que algunos tambin le llaman o exclusiva, y que indica que una de las dos proposiciones se cumple, pero no las dos. Este caso corresponde por ejemplo a: Hoy comprar un libro o ir al cine; se sobrentiende que una de las dos debe ser verdadera, pero no la dos. Se representa por p XOR q y su tabla de verdad es: p q p XOR q V V V F F V F F F V V F

Por ltimo, tambin es muy comn utilizar una disyuncin como la siguiente: El men incluye caf o t. En este caso se esta dando una disyuntiva diferente pues no se pueden las dos simultneamente como en el caso anterior, pero aqu si es vlido el caso donde las dos son falsas. Es el caso no mbas, se puede representar por p q y su tablas es p q V V V F F F V F pq F V V V

Nota: El ltimo smbolo no es estndar y puede haber varias formas de representarlo. Un buen ejercicio consiste en enunciar varias expresiones del espaol que utilizando los conectivos y o para analizar cul de los operadores es. Hay que tener mucho cuidado cuando se traduce del lenguaje usual por las costumbres, muchas veces depende del contexto o de la situacin especfica en la que se usan los conectivos, por ejemplo si decimos: Se pueden estacionar alumnos y maestros, en realidad se est queriendo decir un operador disyuntivo, en este caso la o matemtica, o sea el primer operador que corresponde a la primera tabla de esta seccin. La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q, y su tabla de verdad est dada por: p V V F F q V F V F pq V F V V

Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjuncin y la disyuncin. El nico caso que resulta falso es cuando el primero es verdadero y el segundo falso. Por ejemplo, si p es llueve y q es hay nubes entonces: p q es si llueve entonces hay nubes. Tambin cabe sealar que este viene a ser el operador ms importante en el proceso deductivo y que la mayora de las leyes de inferencia y las propiedades en matemticas se pueden enunciar utilizando este operador.

La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q su tabla de verdad est dada por: p q V V V F F V F F pq V F F V

Tautologa y contradiccin.
Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables. Un ejemplo tpico es la contrapositiva cuya tabla de verdad se indica a continuacin. p 0 0 1 1 q p q 0 1 1 1 1 0 0 0 1 1 0 0 p q 1 1 0 1 q p 1 1 0 1 (p q) (q p) 1 1 1 1

Note que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre 1. Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en las cuales nos podemos apoyar para realizar demostraciones. A continuacin me permito citar una lista de las tautologas ms conocidas y reglas de inferencia de mayor uso en las demostraciones formales que obviamente el autor no consider.. 1.- Doble negacin. a). p''p

2.- Leyes conmutativas. a). (pq)(qp) b). (pq)(qp) c). (pq)(qp) 3.- Leyes asociativas. a). [(pq)r][p(qr)] b. [(pq)r][p(qr)] 4.- Leyes distributivas. a). [p(qr)][(pq)(pr)] b. [p(qr)][(pq)(pr)] 5.- Leyes de idempotencia. a). (pp)p b). (pp)p 6.- Leyes de Morgan a). (pq)'(p'q') b). (pq)'(p'q') c). (pq)(p'q')' b). (pq)(p'q')' 7.- Contrapositiva. a). (pq)(q'p') 8.- Implicacin. a). (pq)(p'q) b). (pq)(pq')' c). (pq)(p'q) d). (pq)(pq')' e). [(pr)(qr)][(pq)r] f). [(pq)(pr)][p(qr)] 9.- Equivalencia a). (pq)[(pq)(qp)] 10.- Adicin. a). p(pq) 11.- Simplificacin. a). (pq)p 12.- Absurdo a). (p0)p'

13.- Modus ponens. a). [p(pq)]q 14.- Modus tollens. a). [(pq)q']p' 15.- Transitividad del a). [(pq)(qr)](pr) 16.- Transitividad del a). [(pq)(qr)](pr) 17.- Mas implicaciones lgicas. a). (pq)[(pr)(qs)] b). (pq)[(pr)(qs)] c). (pq)[(qr)(pr)] 18.- Dilemas constructivos. a). [(pq)(rs)][(pr)(qs)] b). [(pq)(rs)][(pr)(qs)]

Dualidad (matemticas)
En Matemticas, una dualidad, generalmente hablando, traduce conceptos, teoremas o estructuras matemticas en otros conceptos, teoremas o estructuras, en una manera "uno a uno", a menudo (pero no siempre) por medio de una operacin de involucin: Si la dualidad de A es B, entonces la dualidad de B es A. Como a veces la involucin tiene puntos fijos, la dualidad de A es a veces A (ella misma). Por ejemplo, el Teorema de Desargues en la geometra proyectiva es Dual a ella misma en este sentido. En el contexto de las matemticas, la dualidad posee numerosos significados, y aunque es "un concepto muy penetrante e importante en las matemticas modernas"1 y "un tema general importante que se ha manifestado en casi todas las reas de las matemticas",2 no hay una sola definicin universal aceptada que unifique todos los conceptos de dualidad. Muchas dualidades matemticas entre objetos de dos tipos corresponden a emparejamientos, funciones bilineales de un objeto de un tipo y otro objeto de un segundo tipo en alguna familia de escalares. Por ejemplo, la dualidad del lgebra lineal se corresponde de este modo con mapeos bilineales de pares de espacios vectoriales a escalares, la dualidad entre distribuciones y las funciones de prueba (Test Function)asociadas corresponde a los pares en el que uno integra una distribucin contra una funcin de prueba, y la dualidad de poincar corresponde de manera similar al nmero de intersecciones (Intersection number), visto como un emparejamiento entre subvariedades de una variedad determinada.

Implicacin Tautolgica
La implicacin es probablemente el concepto de lgica ms utilizado por el ser humano, se usa en cualquier desarrollo matemtico para indicar que un paso se obtiene de otro de manera correcta. Se utiliza para enunciar teoremas y propiedades, casi todas las propiedades se pueden enunciar utilizando la implicacin. Es tambin muy utilizado en el razonamiento humano en ciencias sociales, filosofa, e incluso en la vida diaria casi todo mundo hace implicaciones constantemente. Sin embargo como se puede observar hastaahora no se ha visto el concepto.

Definicin. La implicacin de dos frmulas lgicas es la condicional cuando dicha condicional es una tautologa. Con smbolos: A B significa que A B es una tautologa. O sea que para poder utilizar la implicacin, A B debemos estar seguros de que la expresin A B es verdadera siempre. Para Ludwig Wittgenstein, la tautolgica se trata de una proposicin que necesariamente es verdadera (A es = A), con independencia de que represente un hecho real o no. De este modo se acepta a priori (= previo a la experiencia) y sirve de premisa obvia. Este tipo de verdades que no dependen de los hechos han sido consideradas de diversas maneras en la historia de la filosofa: verdad necesaria, verdad analtica, verdad de razn.

Ejemplo: x+5=8 x=3

Claramente es una implicacin, pues no se puede presentar el caso de que x+5=8 sea verdadero y x=3 falso, entonces para cualquier valor de x, la expresin es verdadera y por lo tanto una tautologa. Precisamente el sentido de la implicacin, A B es asegurar que cuando A es verdadero tenemos la certeza de que B tambin es verdadero, o sea que es suficiente que A se cumpla para que se cumpla B. Tambin incluye el caso de que si B es falso estamos seguros de que A tambin debe ser falso, por lo que B es una condicin necesaria para A. En general debido a la importancia que tiene la implicacin es conveniente poder enunciarla y entenderla de varias formas para poder obtener mejor provecho del concepto. Aqu presentamos algunas maneras equivalentes de enunciar la implicacin. Una proposicin p se dice que implica tautologicamente una proposicin que si y solo si la condicional p q es una tautologa. Hay una implicacin tau- tologica es una tautologa cuya forma es la de una proposicin condicional.

La proposicin p ^ q p es una implicacin tautolgica. Para construir la condicional que corresponde a un razonamiento se ligan Simplemente con ^ todas las premisas para formar la conjuncin de premisas que es el antecedente, y despus se pone la conclusin del razonamiento como consecuente. Veamos el siguiente ejemplo: Demostrar:r ^ s (1) p (2) p q (3) q _ (r ^ s)

El condicional correspondiente sera: p ^ (p q) ^ (q U (r ^ s)) r ^ s

Equivalencias de la implicacin AB Si A entonces B Si A, B Si A B B si A Siempre que sucede A sucede B No puede suceder B si no sucede A B es una consecuencia de A A slo si B A es razn suficiente para B B es razn necesaria para A Todas las formas de enunciar la implicacin se pueden entender ms claramente si analizamos la tabla de la condicional, Seccin 1.3.4 Condicional, teniendo claramente en cuenta que el segundo rengln no puede ocurrir, pues la expresin es una tautologa. Conectivos funcionalmente completos Denicion: Un conjunto de conectivos es funcionalmente completo si es posible denir cada formula usando solo estos conectivos. Ya demostramos que {, , } es funcionalmente completo. Son {, } y {, } funcionalmente completos? Ejercicio: Demuestre que {,} es funcionalmente completo. Ejercicio: Es {, ,,} funcionalmente completo? *Ejercicio: Es {,} funcionalmente completo?

Proposiciones Compuestas
Proposiciones compuestas (Disyuncin, Conjuncin, Negacin, Condicional, Bicondicional) Tablas de verdad Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplo: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jvenes o universitarios. Si el mircoles prximo me saco la lotera entonces te regalar un auto Conjuncin Cuando dos proposiciones simples se combinan mediante la palabra y , la proposicin compuesta resultante se le llama conjuncin . Para la conjuncin usaremos el smbolo lgico ^. De esta manera, se tiene que la nueva proposicin p ^ q se llama conjuncin de p y q . p|q|p^q| V|V|V| V|F|F| F|V|F| F|F|F| | Disyuncin Se emplea la palabra o en el sentido inclusivo, como el y/o. Entonces una proposicin del tipo p o q se toma siempre como p o q ambas. Dado esto admitimos la frase compuesta como una proposicin. Simblicamente la denotaremos escribiendo p v q . A esta nueva proposicin compuesta se le llama Disyuncin, de modo que la proposicin p v q se llama disyuncin de p y q. p|q|pvq| V|V|V| V|F|V| F|V|V| F|F|F| | Negacin Si p es una proposicin fundamental, de sta se puede formar otra proposicin, que se le llama Negacin de p, escribiendo: Es falso que antes de p, , cuando es posible, se inserta en p la palabra No. Si p es verdadero, entonces ~p es falso; si p es falso, entonces ~p es verdadero. Es decir el valor de verdad de la negacin de una proposicin fundamental es siempre opuesto del valor de verdad de la proposicin. p | ~p | V|F| F|V| | Condicional En matemticas se suele utilizar muy frecuentemente la proposicin Si p, entonces q. Tales proposiciones se llaman condicionales y se le denota por: p --> q