Apuntes de Lgica Matemtica o a 1.

Lgica de Proposiciones o

Francisco Jos Gonzlez Gutirrez e a e

Cdiz, Abril de 2005 a

Universidad de Cdiz a

Departamento de Matemticas a

ii

Leccin 1 o

Lgica de Proposiciones o
Contenido
1.1 Proposiciones y Tablas de Verdad . . . . . . . . 1.1.1 Proposicin . . . . . . . . . . . . . . . . . . . . . o 1.1.2 Valor de Verdad . . . . . . . . . . . . . . . . . . 1.1.3 Proposicin Compuesta . . . . . . . . . . . . . . o 1.1.4 Variables de Enunciado . . . . . . . . . . . . . . 1.1.5 Tablas de Verdad . . . . . . . . . . . . . . . . . . 1.2 Conexin entre Proposiciones . . . . . . . . . . . o 1.2.1 Conjuncin . . . . . . . . . . . . . . . . . . . . . o 1.2.2 Disyuncin . . . . . . . . . . . . . . . . . . . . . o 1.2.3 Disyuncin Exclusiva . . . . . . . . . . . . . . . . o 1.2.4 Negacin . . . . . . . . . . . . . . . . . . . . . . o 1.2.5 Tautolog y Contradicciones . . . . . . . . . . . as 1.2.6 Proposicin Condicional . . . . . . . . . . . . . . o 1.2.7 Proposicin Rec o proca . . . . . . . . . . . . . . . 1.2.8 Proposicin Contrarrec o proca . . . . . . . . . . . 1.2.9 Proposicin bicondicional . . . . . . . . . . . . . o 1.3 Implicacin . . . . . . . . . . . . . . . . . . . . . . o 1.3.1 Implicacin Lgica . . . . . . . . . . . . . . . . . o o 1.3.2 Implicacin Lgica y Proposicin Condicional . . o o o 1.3.3 Implicaciones Lgicas ms Comunes . . . . . . . o a 1.4 Equivalencia Lgica . . . . . . . . . . . . . . . . . o 1.4.1 Proposiciones Lgicamente Equivalentes . . . . . o 1.4.2 Equivalencia Lgica y Proposicin Bicondicional o o 1.4.3 Equivalencias Lgicas ms Comunes . . . . . . . o a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 . . . . . . . . . . . 2 . . . . . . . . . . . 3 . . . . . . . . . . . 3 . . . . . . . . . . . 3 . . . . . . . . . . . 4 . . . . . . . . . . 4 . . . . . . . . . . . 4 . . . . . . . . . . . 5 . . . . . . . . . . . 5 . . . . . . . . . . . 5 . . . . . . . . . . . 7 . . . . . . . . . . . 7 . . . . . . . . . . . 10 . . . . . . . . . . . 11 . . . . . . . . . . . 12 . . . . . . . . . . 15 . . . . . . . . . . . 15 . . . . . . . . . . . 16 . . . . . . . . . . . 17 . . . . . . . . . . 18 . . . . . . . . . . . 18 . . . . . . . . . . . 19 . . . . . . . . . . . 21

Y ahora llegamos a la gran pregunta del porqu. El robo no ha e sido el objeto del asesinato, puesto que nada desapareci. Fue o por motivos pol ticos, o fue una mujer? Esta es la pregunta con que me enfrento. Desde el principio me he inclinado hacia esta ultima suposicin. Los asesinatos pol o ticos se complacen demasiado en hacer su trabajo y huir. Este asesinato, por el contrario, hab sido realizado muy deliberadamente, y quien lo a perpetr ha dejado huellas por toda la habitacin, mostrando o o que estuvo all todo el tiempo.
Arthur Conan Doyle. Un Estudio en Escarlata. 1887

Universidad de Cdiz a

Departamento de Matemticas a

La estrecha relacin existente entre la matemtica moderna y la lgica formal es una de sus caracter o a o sticas fundamentales. La lgica aristotlica era insuficiente para la creacin matemtica ya que la mayor parte o e o a de los argumentos utilizados en sta contienen enunciados del tipo si, entonces, absolutamente extraos e n en aquella. En esta primera leccin de lgica estudiaremos uno de los dos niveles en los que se desenvuelve la moderna o o lgica formal: la lgica de enunciados o de proposiciones. o o

1.1

Proposiciones y Tablas de Verdad

En el desarrollo de cualquier teor matemtica se hacen afirmaciones en forma de frases y que tienen a a un sentido pleno. Tales afirmaciones, verbales o escritas, las denominaremos enunciados o proposiciones.

1.1.1

Proposicin o

Llamaremos de esta forma a cualquier armacin que sea verdadera o falsa, pero no ambas cosas a o la vez. Ejemplo 1.1 Las siguientes armaciones son proposiciones.

(a) Gabriel Garc Mrquez escribi Cien aos de soledad. a a o n (b) 6 es un nmero primo. u (c) 3+2=6 (d) 1 es un nmero entero, pero 2 no lo es. u Nota 1.1 Las proposiciones se notan con letras minsculas, p, q, r . . . . . . La notacin p :Tres ms u o a cuatro es igual a siete se utiliza para definir que p es la proposicin tres ms cuatro es igual a siete. o a Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras. Ejemplo 1.2 (a) x + y > 5 (b) Te vas? (c) Compra cinco azules y cuatro rojas. (d) x = 2 Solucin o En efecto, (a) es una armacin pero no es una proposicin ya que ser verdadera o falsa dependiendo o o a de los valores de x e y e igual ocurre con la afirmacin (d). Los ejemplos (b) y (c) no son afirmaciones, o por lo tanto no son proposiciones. Desde el punto de vista lgico carece de importancia cual sea el contenido material de los enunciados, o solamente interesa su valor de verdad. 2 Las siguientes no son proposiciones.

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

1.1.2

Valor de Verdad

Llamaremos valor verdadero o de verdad de una proposicin a su veracidad o falsedad. El valor de o verdad de una proposicin verdadera es verdad y el de una proposicin falsa es falso. o o Ejemplo 1.3 D gase cules de las siguientes armaciones son proposiciones y determinar el valor de a verdad de aquellas que lo sean. (a) p: Existe Premio Nobel de informtica. a (b) q: La tierra es el unico planeta del Universo que tiene vida. (c) r: Teclee Escape para salir de la aplicacin. o (d) s: Cinco ms siete es grande. a Solucin o (a) p es una proposicin falsa, es decir su valor de verdad es Falso. o (b) No sabemos si q es una proposicin ya que desconocemos si esta afirmacin es verdadera o falsa. o o (c) r no es una proposicin ya que no es verdadera ni es falsa. Es un mandato. o (d) s no es una proposicin ya que su enunciado, al carecer de contexto, es ambiguo. En efecto, cinco o nias ms siete nios es un nmero grande de hijos en una familia, sin embargo cinco monedas n a n u de cinco cinco cntimos ms siete monedas de un cntimo no constituyen una cantidad de dinero e a e grande.

1.1.3

Proposicin Compuesta o

Si las proposiciones simples p1 , p2 , . . . , pn se combinan para formar la proposicin P , diremos que P o la es una proposicin compuesta de p1 , p2 , . . . , pn . o Ejemplo 1.4 La Matemtica Discreta es mi asignatura preferida y Mozart fue un gran compositor a es una proposicin compuesta por las proposiciones La Matemtica Discreta es mi asignatura preferida o a y Mozart fue un gran compositor. El es inteligente o estudia todos los d as es una proposicin compuesta por dos proposiciones: El es o inteligente y El estudia todos los d as. Nota 1.2 La propiedad fundamental de una proposicin compuesta es que su valor de verdad est o a completamente determinado por los valores de verdad de las proposiciones que la componen junto con la forma en que estn conectadas. a

1.1.4

Variables de Enunciado

Es una proposicin arbitraria con un valor de verdad no especicado, es decir, puede ser verdad o o falsa. En el clculo lgico, prescindiremos de los contenidos de los enunciados y los sustituiremos por variables de a o enunciado. Toda variable de enunciado p, puede ser sustituida por cualquier enunciado siendo sus posibles estados, verdadero o falso. El conjunto de los posibles valores de una proposicin p, los representaremos o en las llamadas tablas de verdad, ideadas por L.Wittgenstein1 .
1 Ludwig

Wittgenstein (Viena 1889-Cambridge 1951), nacionalizado britnico en 1938. Estudi Ingenier Mecnica en a o a a

Universidad de Cdiz a

Departamento de Matemticas a

1.1.5

Tablas de Verdad

La tabla de verdad de una proposicin compuesta P enumera todas las posibles combinaciones de los o valores de verdad para las proposiciones p1 , p2 , . . . , pn . Ejemplo 1.5 Por ejemplo, si P es una proposicin compuesta por las proposiciones simples p1 , p2 y o p3 , entonces la tabla de verdad de P deber recoger los siguientes valores de verdad. a p1 V V V V F F F F p2 V V F F V V F F p3 V F V F V F V F

1.2

Conexin entre Proposiciones o

Estudiamos en este apartado las distintas formas de conectar proposiciones entre s Prestaremos especial . atencin a las tablas de verdad de las proposiciones compuestas que pueden formarse utilizando las o distintas conexiones.

1.2.1

Conjuncin o

Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la proposicin como o puesta p y q y la notaremos p q. Esta proposicin ser verdadera unicamente en el caso de que o a ambas proposiciones lo sean. Obsrvese que de la definicin dada se sigue directamente que si p y q son, ambas, verdaderas entonces e o p q es verdad y que si al menos una de las dos es falsa, entonces p q es falsa. Por lo tanto su tabla de verdad vendr dada por a p V V F F q V F V F pq V F F F

Obsrvese tambin que el razonamiento puede hacerse a la inversa, es decir si p q es verdad, entonces e e p y q son, ambas, verdad y que si p q es falsa, entonces una de las dos ha de ser falsa.
Berlin, posteriormente investig Aeronutica en Manchester. La necesidad de entender mejor las matemticas lo llev a o a a o estudiar sus fundamentos. Dej Manchester en 1811 para estudiar lgica matemtica con Russell en Cambridge. Escribi o o a o su primer gran trabajo en lgica, Tractatus logico-philosophicus, durante la primera guerra mundial, primero en el frente o ruso y luego en el norte de Italia. Envi el manuscrito a Russell desde un campo de prisioneros en Italia. Liberado en o 1919, regal la fortuna que hab heredado de su familia y trabaj en Austria como profesor en una escuela primaria. o a o Volvi a Cambridge en 1929 y fue profesor en esta universidad hasta 1947, a o en que renunci. Su segundo gran trabajo, o n o Investigaciones loscas fue publicado en 1953, es decir, dos a os despus de su muerte. Otras obras pstumas de o n e o Wittgenstein son: Observaciones loscas sobre los principios de la matemtica(1956), Cuadernos azul y marrn(1958) o a o y Lecciones y conversaciones sobre esttica, sicolog y fe religiosa(1966). e a

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

1.2.2

Disyuncin o

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la proposicin como o puesta p q y la notaremos p q. Esta proposicin ser verdadera si al menos una de las dos p o o a o q lo es. De acuerdo con la definicin dada se sigue que si una de las dos, p q, es verdad entonces p q es verdad o o y que p q ser falsa, unicamente si ambas lo son. Su tabla de verdad ser, por tanto, a a p V V F F q V F V F pq V V V F

Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si p q es verdad, entonces o una de las dos, al menos, ha de ser verdad y si p q es falsa, entonces ambas han de ser falsas. La palabra o se usa en el lenguaje ordinario de dos formas distintas. A veces se utiliza en el sentido de p q, ambos, es decir, al menos una de las dos alternativas ocurre y, a veces es usada en el sentido o o de p q, pero no ambos es decir, ocurre exactamente una de de las dos alternativas. o Por ejemplo, la proposicin El ir a Madrid o a Bilbao usa o con el ultimo sentido. A este tipo de o a disyuncin la llamaremos disyuncin exclusiva. o o

1.2.3

Disyuncin Exclusiva o

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a la proposicin o o compuesta p q pero no ambos y la notaremos p q. Esta proposicin ser verdadera si una u otra, o o a pero no ambas son verdaderas. Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q ser verdadera cuando tengan u o o a distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad es, por tanto, p V V F F q V F V F p F V V F q

Haciendo el razonamiento contrario si p q es verdad, unicamente podemos asegurar que una de las dos es verdad y si p q es falsa, slo podemos deducir que ambas tienen el mismo valor de verdad. o Nota 1.3 Salvo que especifiquemos lo contrario, o ser usado en el primero de los sentidos. Esta a discusin pone de manifiesto la precisin que ganamos con el lenguaje simblico: p q est definida por o o o a su tabla de verdad y siempre significa p y/ q. o

1.2.4

Negacin o

Dada una proposicin cualquiera, p, llamaremos negacin de p a la proposicin no p y la notareo o o mos p. Ser verdadera cuando p sea falsa y falsa cuando p sea verdadera. a 5

Universidad de Cdiz a La tabla de verdad de esta nueva proposicin, p, es: o p V F p F V

Departamento de Matemticas a

De esta forma, el valor verdadero de la negacin de cualquier proposicin es siempre opuesto al valor o o verdadero de la afirmacin original. o Ejemplo 1.6 Estudiar la veracidad o falsedad de las siguientes proposiciones:

p1 : El Pentium es un microprocesador. p2 : Es falso que el Pentium sea un microprocesador. p3 : El Pentium no es un microprocesador. p4 : 2 + 2 = 5 p5 : Es falso que 2 + 2 = 5 p6 : 2 + 2 = 4 Solucin o

p2 y p3 son, cada una, la negacin de p1 . o p5 y p6 son, cada una, la negacin de p4 . o

Pues bien, de acuerdo con la tabla de verdad para la negacin, tendremos: o p1 es verdad, luego p2 y p3 son falsas. p4 es falsa, luego p5 y p6 son verdad. Ejemplo 1.7 Solucin o Construir la tabla de verdad de la proposicin (p q). o

p V V F F

q V F V F

q F V F V

p q F V F F

(p q) V F V V

Existen proposiciones que son verdaderas (falsas) simplemente por su forma lgica y no por su contenido. o 6

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

1.2.5

Tautolog y Contradicciones as

Sea P una proposicin compuesta de las proposiciones simples p1 , p2 , . . . , pn o P es una Tautolog si es verdadera para todos los valores de verdad que se asignen a a p1 , p 2 , . . . , pn . P es una Contradiccin si es falsa para todos los valores de verdad que se asignen a p1 , p2 , . . . , pn . o En adelante, notaremos por C a una contradiccin y por T a una tautolog o a. Una proposicin P que no es tautolog ni contradiccin se llama, usualmente, Contingencia. o a o Ejemplo 1.8 tradiccin. o Solucin o En efecto: p V F p F V p p V V p p F F Probar que la proposicin compuesta p p es una tautolog y la p p es una cono a

Obsrvese que p p es verdad, independientemente de quienes sean las variables de enunciado, p y p e y lo mismo ocurre con la falsedad de p p.

1.2.6

Proposicin Condicional o

Dadas dos proposiciones p y q, a la proposicin compuesta o si p, entonces q se le llama proposicin condicional y se nota por o p q A la proposicin p se le llama hiptesis, antecedente, premisa o condicin suciente y a la q o o o tesis, consecuente, conclusin o condicin necesaria del condicional. Una proposicin condicional es o o o falsa unicamente cuando siendo verdad la hiptesis, la conclusin es falsa (no se debe deducir una o o conclusin falsa de una hiptesis verdadera). o o De acuerdo con esta definicin su tabla de verdad es, o p V V F F q V F V F p q V F V V

Obsrvese que si p q es verdad no puede deducirse prcticamente nada sobre los valores de verdad e a de p y q ya que pueden ser ambas verdad, ambas falsas o la primera falsa y la segunda verdad. Ahora bien, si el condicional p q es falso, entonces podemos asegurar que p es verdadera y q falsa. Otras formulaciones equivalentes de la proposicin condicional p q son: o 7

Universidad de Cdiz a p slo si q. o q si p. p es una condicin suciente para q. o q es una condicin necesaria para p. o q se sigue de p. q a condicin de p. o q es una consecuencia lgica de p . o q cuando p.

Departamento de Matemticas a

Analizaremos con detalle cada uno de los cuatro casos que se presentan en la tabla de verdad. 1. Antecedente y consecuente verdaderos. En este caso parece evidente que el condicional si p, entonces q se evale como verdadero. Por u ejemplo, Si como mucho, entonces engordo es una sentencia que se evala como verdadera en el caso de que tanto el antecedente como el u consecuente sean verdaderos. Ahora bien, obsrvese que ha de evaluarse tambin como verdadero un condicional en el que no e e exista una relacin de causa entre el antecedente y el consecuente. Por ejemplo, el condicional o Si Garc Lorca fue un poeta, entonces Gauss fue un matemtico a a ha de evaluarse como verdadero y no existe relacin causal entre el antecedente y el consecuente. o Es por esta razn que no hay que confundir el condicional con la implicacin lgica. o o o Garc Lorca fue un poeta implica que Gauss fue un matemtico a a Es una implicacin falsa desde el punto de vista lgico. Ms adelante estudiaremos la implicacin o o a o lgica. o 2. Antecedente verdadero y consecuente falso. En este caso parece natural decir que el condicional se evala como falso. Por ejemplo, supongamos u que un pol tico aspirante a Presidente del Gobierno promete: Si gano las elecciones, entonces bajar los impuestos e Este condicional ser falso slo si ganando las elecciones, el pol a o tico no baja los impuestos. A nadie se le ocurrir reprochar al pol a tico que no ha bajado los impuestos si no ha ganado las elecciones. Obsrvese que el hecho de que p sea verdadero y, sin embargo, q sea falso viene, en realidad, a e refutar la sentencia p q, es decir la hace falsa. 3. Antecedente falso y consecuente verdadero. Nuestro sentido comn nos indica que el condicional p q no es, en este caso, ni verdadero ni u falso. Parece ilgico preguntarse por la veracidad o falsedad de un condicional cuando la condicin o o expresada por el antecedente no se cumple. Sin embargo, esta respuesta del sentido comn no nos u sirve, estamos en lgica binaria y todo ha de evaluarse bien como verdadero, bien como falso, es o decir, si una sentencia no es verdadera, entonces es falsa y viceversa. Veamos que en el caso que nos ocupa, podemos asegurar que el condicional no es falso. En efecto, como dijimos anteriormente, p q es lo mismo que armar que 8

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e p es una condicin suciente para q o

es decir, p no es la unica condicin posible, por lo cual puede darse el caso de que q sea verdadero o siendo p falso. O sea, la falsedad del antecedente no hace falso al condicional y si no lo hace falso, entonces lo hace verdadero. Por ejemplo, Si estudio mucho, entonces me canso Qu ocurrir si no estudio y, sin embargo, me cansara? Pues que la sentencia no ser invlida, e a a a ya que no se dice que no pueda haber otros motivos que me puedan producir cansancio. 4. Antecedente y consecuente falsos. La situacin es parecida a la anterior. La condicin p no se verica, es decir, es falsa, por lo que el o o consecuente q puede ser tanto verdadero como falso y el condicional, al no ser falso, ser verdadero. a Obsrvese, anecdticamente, que es muy frecuente el uso de este condicional en el lenguaje coloquial, e o cuando se quiere sealar que, ante un dislate, cualquier otro est justicado. n a Si t eres programador, entonces yo soy el dueo de Microsoft u n Ejemplo 1.9 Sean p, q y r las proposiciones El nmero N es par, La salida va a la pantalla y u Los resultados se dirigen a la impresora, respectivamente. Enunciar las formulaciones equivalentes de las siguientes proposiciones. (a) q p. (b) q r. (c) r (p q). Solucin o (a) q p. Si la salida va a la pantalla, entonces el nmero N es par. u La salida ir a la pantalla, slo si el nmero N es par. a o u El nmero N es par si la salida va a la pantalla. u Una condicin suciente para que el nmero N sea par es que la salida vaya a la pantalla. o u Una condicin necesaria para que la salida vaya a la pantalla es que el nmero N sea par. o u (b) q r. Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora. La salida no va a la pantalla slo si los resultados se dirigen a la impresora. o Los resultados se dirigen a la impresora si la salida no va a la pantalla. Una condicin suciente para que los resultados se dirijan a la impresora es que la salida no o vaya a la pantalla. Una condicin necesaria para que la salida no vaya a la pantalla es que los resultados se dirijan o a la impresora. (c) r (p q). Si los resultados se dirigen a la impresora, entonces el nmero N es par o la salida va a la u pantalla. Los resultados se dirigen a la impresora slo si el nmero N es par o la salida vaya a la pantalla. o u 9

Universidad de Cdiz a

Departamento de Matemticas a

El nmero N es par o la salida va a la pantalla si los resultados se dirigen a la impresora. u Una condicin suciente para que el nmero N sea par o la salida vaya a la pantalla es que o u los resultados se dirijan a la impresora. Una condicin necesaria para que los resultados se dirijan a la impresora es que el nmero N o u sea par o que la salida vaya a la pantalla. Ejemplo 1.10 Sean las proposiciones

p : Est nevando. a q : Ir a la ciudad. e r : Tengo tiempo. (a) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de las afirmaciones o o siguientes: (a.1) (a.2) (a.3) (a.4) Si no est nevando y tengo tiempo, entonces ir a la ciudad. a e Ir a la ciudad slo si tengo tiempo. e o No est nevando. a Est nevando, y no ir a la ciudad. a e

(b) Enunciar las afirmaciones que se corresponden con cada una de las proposiciones siguientes: (b.1) (b.2) (b.3) (b.4) Solucin o (a) Escribimos en forma simblica las armaciones propuestas. o (a.1) (a.2) (a.3) (a.4) (p r) q q r p p q q (r p) rq (q r) (r q) (r q)

(b) Escribimos en forma de armaciones las proposiciones. (b.1) (b.2) (b.3) (b.4) Ir a la ciudad si, y slo si tengo tiempo y no est nevando. e o a Tengo tiempo e ir a la ciudad. e Ir a la ciudad si y slo si tengo tiempo. e o Ni tengo tiempo, ni ir a la ciudad. e

1.2.7

Proposicin Rec o proca

Dada la proposicin condicional p q, su rec o proca es la proposicin, tambin condicional, q p. o e Por ejemplo, la rec proca de Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora ser Si los resultados se dirigen a la impresora, entonces la salida no va a la pantalla. a 10

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

1.2.8

Proposicin Contrarrec o proca

Dada la proposicin condicional p q, su contrarrec o proca es la proposicin, tambin condicional, o e q p. Por ejemplo, la contrarrec proca de la proposicin Si Mar estudia mucho, entonces es buena estudio a ante es Si Mar no es buena estudiante, entonces no estudia mucho. a Ejemplo 1.11 Escribir la rec proca y la contrarrec proca de cada una de las afirmaciones siguientes:

(a) Si llueve, no voy. (b) Me quedar, slo si t te vas. e o u (c) Si tienes cien pesetas, entonces puedes comprar un helado. (d) No puedo completar la respuesta si no me ayudas. Solucin o Escribiremos la rec proca y la contrarrec proca de varias formas. (a) Si llueve, no voy. Rec proca. Si no voy, entonces llueve. Llueve si no voy. Una condicin necesaria para no ir es que llueva. o Una condicin suciente para que llueva es no ir. o Contrarrec proca. Si voy, entonces no llueve. Voy slo si no llueve. o Es necesario que no llueva, para que vaya. Es suciente que vaya para que no llueva. (b) Me quedar slo si te vas. e o Rec proca. Si te vas, entonces me quedar. e Me quedar, si te vas. e Una condicin necesaria para que te vayas, es quedarme. o Una condicin suciente para quedarme es que te vayas. o Contrarrec proca. Si no te vas, entonces no me quedar. e No me quedar si no te vas. e Es suciente que no te vayas, para no quedarme. (c) No puedo completar la respuesta si no me ayudas. Rec proca. Si no puedo completar la respuesta, entonces no me ayudas. Contrarrec proca. Si puedo completar la respuesta, entonces me ayudas. Puedo completar la respuesta slo si me ayudas. o Es necesario que ayudes para poder completar la respuesta.

11

Universidad de Cdiz a

Departamento de Matemticas a

1.2.9

Proposicin bicondicional o

Dadas dos proposiciones p y q, a la proposicin compuesta o p si y slo si q o se le llama proposicin bicondicional y se nota por o p q La interpretacin del enunciado es: o p slo si q y p si q o o lo que es igual si p, entonces q y si q, entonces p es decir, (p q) (q p) Por tanto, su tabla de verdad es: p V V F F q V F V F p q V F V V q p V V F V p q V F F V

Luego la proposicin bicondicional p q es verdadera unicamente en caso de que ambas proposiciones, o p y q, tengan los mismos valores de verdad. Nota 1.4 Obsrvese que la proposicin condicional p q, se enunciaba e o Si p, entonces q siendo una formulacin equivalente, o Una condicin necesaria para p es q o y la proposicin condicional q p, se enunciaba o Si q, entonces p siendo una formulacin equivalente, o Una condicin suciente para p es q o Por tanto, una formulacin equivalente de la proposicin bicondicional en estos trminos, ser o o e a: Una condicin necesaria y suciente para p es q o 12

Lgica Matemtica o a Ejemplo 1.12 El enunciado

Francisco Jos Gonzlez Gutirrez e a e

Sean a, b y c las longitudes de los lados de un tringulo T siendo c la longitud mayor. a

T es rectngulo si, y slo si a2 + b2 = c2 a o puede expresarse simblicamente como o p q donde p es la proposicin T es rectngulo y q la proposicin a2 + b2 = c2 . o a o Observemos lo siguiente: La proposicin anterior afirma dos cosas o 1. Si T es rectngulo, entonces a2 + b2 = c2 a o tambin, e Una condicin necesaria para que T sea rectngulo es que a2 + b2 = c2 o a 2. Si a2 + b2 = c2 , entonces T es rectngulo a o tambin, e Una condicin suficiente para que T sea rectngulo es que a2 + b2 = c2 o a Consecuentemente, una forma alternativa de formular la proposicin dada es o Una condicin necesaria y suficiente para que T sea rectngulo es que a2 + b2 = c2 o a

Nota 1.5 Los valores de verdad de una proposicin compuesta, pueden determinarse a menudo, cono struyendo una tabla de verdad abreviada. Por ejemplo, si queremos probar que una proposicin es una o contingencia, es suciente con que consideremos dos l neas de su tabla de verdad, una que haga que la proposicin sea verdad y otra que la haga falsa. Para determinar si una proposicin es una tautolog o o a, bastar considerar, unicamente, aquellas l a neas para las cuales la proposicin pueda ser falsa. o Ejemplo 1.13 Solucin o Construimos su tabla de verdad. p V V F F q V F V F pq V F F F (p q) p V V V V Consideremos el problema de determinar si la proposicin (pq) p es una tautolog o a.

Luego, en efecto, (p q) p es una tautolog a. Observemos ahora lo siguiente: Una proposicin condicional slo puede ser falsa en caso de que siendo la o o hiptesis verdadera, la conclusin sea falsa, por tanto si queremos ver si (p q) p es una tautolog o o a, bastar comprobar los casos en que p q sea verdad, ya que si es falsa, entonces (p q) p es verdad, a consecuentemente una tabla de verdad abreviada para este ejercicio ser a: p V q V pq V 13 (p q) p V

Universidad de Cdiz a

Departamento de Matemticas a

Ejemplo 1.14 ciones.

Establecer si las siguientes proposiciones son tautolog as, contingencias o contradic-

(a) (p q) (q p) (b) [p (q r)] [(p q) (p r)] (c) (p q) q (d) p (p q) (e) (p q) p (f) [(p q) p] (p q) (g) [(p q) (r s)] [(p r) (q s)] Solucin o (a) (p q) (q p) p V V F F Luego es una contingencia. (b) [p (q r)] [(p q) (p r)] Haremos una tabla de verdad abreviada. La proposicin condicional slo es falsa cuando siendo o o verdad la hiptesis, la conclusin es falsa. Ahora bien, la hiptesis es verdad cuando lo sean, a un o o o tiempo, p y q r y sta es verdad si, al menos, una de las dos q o r lo es, entonces e p V V V q V F V r F V V qr V V V p (q r) V V V pq V F V pr F V V (p q) (p r) V V V V V V q V F V F p q V F V V q p V V F V (p q) (q p) V F F V

Por tanto, la proposicin es una tautolog o a. (c) (p q) q p V V F F q V F V F q F V F V p q V V F V (p q) q V F V F

luego la proposicin es una contingencia. o (d) p (p q) Esta proposicin ser falsa unicamente cuando siendo verdad p, p q sea falsa, pero si p es verdad, o a entonces p q es verdad independientemente del valor de verdad de q, luego una tabla de verdad abreviada ser a 14

Lgica Matemtica o a p V y la proposicin es una tautolog o a. (e) (p q) p pq V p (p q) V

Francisco Jos Gonzlez Gutirrez e a e

Haremos una tabla de verdad abreviada. la proposicin condicional, unicamente, es falsa cuando o siendo p q verdad, la conclusin p es falsa, pero p q es verdad, unicamente, cuando ambas, p y o q, lo son, luego, p V q V pq V (p q) p V

es decir, la proposicin es una tautolog o a. (f) [(p q) p] (p q) p V V F F q V F V F pq V F F F (p q) p V F V V p q V F F V [(p q) p] (p q) V V F V

luego la proposicin es una contingencia. o (g) [(p q) (r s)] [(p r) (q s)] La proposicin condicional unicamente es falsa cuando siendo verdad la hiptesis es falsa la cono o clusin. Por el mismo argumento (p r) (q s) es falsa cuando siendo p r verdad sea q s o sea falsa, y sta es falsa cuando ambas, q y s, lo son. e Ahora bien, para que la conclusin (p r) (q s) sea falsa, y utilizando el mismo argumento, o p r ha de ser verdad y q s falsa, luego p y r han de ser una de las dos, al menos, verdad mientras q y s han de ser, las dos, falsas. Haremos, pues, una tabla de verdad abreviada que recoja unicamente estos casos. p V V F q F F F r V F V s F F F (p q) (r s) (F ) F (F ) (F ) V (V ) (V ) V (F ) (p r) (q s) (V ) F (F ) (V ) F (F ) (V ) F (F ) V F F

y, consecuentemente, la proposicin es una contingencia. o

1.3

Implicacin o

Estudiamos en este apartado la implicacin lgica entre dos proposiciones. o o

1.3.1

Implicacin Lgica o o

Se dice que la proposicin P implica lgicamente la proposicin Q, y se escribe P = Q, si Q es o o o verdad cuando P es verdad. Obsrvese que esto es equivalente a decir que P = Q es falso si P es falso cuando Q es falso, ya que si e P es verdad siendo Q falso, no se cumplir la definicin anterior. a o 15

Universidad de Cdiz a

Departamento de Matemticas a

Ejemplo 1.15 Dadas las proposiciones p y q, demostrar que la negacin de p q implica lgicamente o o o la negacin de p. o Solucin o Lo que se pide es probar que (p q) = p, es decir si cada vez que (p q) es verdad, p tambin lo e es. En efecto, si (p q) es verdad, entonces p q es falso, de aqu que p sea falso y, consecuentemente, p sea verdad. Tambin podemos decir que si p es falso, entonces p es verdad, luego p q es verdad (cualquiera que e sea el valor de verdad de q) y, por lo tanto, (p q) es falso. Nota 1.6 Ahora podremos entender algo mejor lo que comentbamos en 1. de 1.2.6. En efecto, de a que Garc Lorca fue un poeta sea verdad no puede deducirse que Gauss fuera matemtico, aunque lo a a fue y muy bueno. De todas formas, es cierto que existe una semejanza entre el s mbolo = para la implicacin lgica y el o o s mbolo para la proposicin condicional. Esta semejanza es intencionada y debido a la manera en o que se usa el trmino implica, en el lenguaje ordinario es natural leer p q como p implica q. El e siguiente teorema justifica este proceder.

1.3.2

Implicacin Lgica y Proposicin Condicional o o o

La proposicin P implica lgicamente la proposicin Q si, y slo si la proposicin condicional P Q o o o o o es una tautolog a. Demostracin o Veamos que P = Q slo si P Q es una tautolog o a. En efecto, supongamos que P implica lgicamente Q. Entonces, de acuerdo con la definicin, cuando P o o es verdad, Q tambin lo es y cuando Q es falso, P es falso, por tanto, la tabla de verdad de P Q e conteniendo unicamente estas opciones es:

P V F

Q V F

P Q V V

es decir, P Q es una tautolog a. Rec procamente, veamos que P = Q si P Q es una tautolog a. En efecto, si P es verdad y P Q es una tautolog entonces Q ha de ser verdad. a Tambin podr e amos haber dicho que si Q es falso y P Q es una tautolog entonces P ha de ser a, falso. Debido a este teorema, los lgicos prefieren adoptar el lenguaje comn como el lenguaje de la lgica y o u o leen p q como p implica q. En este caso, ellos utilizan la palabra implica como el nombre de un conectivo lgico y como el nombre de una relacin paralela entre proposiciones. o o Nota 1.7 Resolvemos ahora el ejemplo anterior viendo que (p q) p es una tautolog Su tabla a. de verdad es: 16

Lgica Matemtica o a p V V F F q V F V F pq V V V F (p q) F F F V p F F V V

Francisco Jos Gonzlez Gutirrez e a e (p q) p V V V V

luego, (p q) p es, efectivamente, una tautolog a.

1.3.3

Implicaciones Lgicas ms Comunes o a

La tabla siguiente presenta algunas implicaciones lgicas con los nombres que usualmente reciben. o Adicin. o P = (P Q) Simplif icacin. o (P Q) = P Ley del Modus Ponendo Ponens (Modus Ponens). Dado un condicional y af irmando (Ponendo) el antecedente, se puede af irmar (Ponens) el consecuente. [(P Q) P ] = Q Ley del Modus Tollendo Tollens (Modus Tollens). Dado un condicional y negando (Tollendo) el consecuente, se puede negar (Tollens) el antecedente. [(P Q) Q] = P Leyes de los Silogismos Hipotticos. e [(P Q) (Q R)] = (P R) [(P Q) (Q R)] = (P R) Leyes de los silogismos disyuntivos. [P (P Q)] = Q [P (P Q] = Q Ley del Dilema Constructivo. [(P Q) (R S) (P R)] = (Q S) Contradiccin. o (P C) = P Ejemplo 1.16 Solucin o Verificar las leyes de los silogismos disyuntivos.

(a) P (P Q) = Q. En efecto, si P (P Q) es verdad, entonces P es verdad y P Q es verdad, de aqu que P sea falso y P Q verdad, por lo tanto, Q ha de ser verdad. Tambin, si hacemos la tabla de verdad del condicional P (P Q) Q, e 17

Universidad de Cdiz a P V V F F Q V F V F P Q V V V F P F F V V P (P Q) F F V F

Departamento de Matemticas a P (P Q) Q V V V V

observamos que es una tautolog luego por el teorema 1.3.2 P (P Q) implica lgicamente Q. a o (b) [P (P Q)] = Q. En efecto, si P (P Q) es verdad, entonces P y P Q son verdad, luego P es falso y P Q verdad, por lo tanto, Q es verdad. Tambin, haciendo una tabla de verdad igual que en el apartado anterior. e P V V F F Q V F V F P F F V V Q F V F V P Q F V V V P (P Q) F V F F P (P Q) Q V V V V

se observa que P (P Q) Q es una tautolog luego, por 1.3.2, P (P Q) = Q a Ejemplo 1.17 Tollens). Solucin o Veamos que P es verdad cuando (P Q) Q es verdad. En efecto, si (P Q) Q es verdad, entonces P Q ha se ser verdad y Q tambin, luego P Q e es verdad y Q es falso de aqu que P tenga que ser falso y, consecuentemente, P verdad. Otra forma de hacerlo ser razonar en la forma siguiente: si P es falso, entonces P es verdad y pueden a ocurrir dos cosas, si Q es verdad, entonces P Q es verdad, Q falso y, por lo tanto, (P Q) Q es falso. si Q es falso, entonces P Q es falso, Q verdad y, por lo tanto, (P Q) Q es falso. Es decir, en ambos casos, (P Q) Q es falso. Demostrar la implicacin lgica (P Q) Q = P (Ley del Modus Tollendo o o

1.4
1.4.1

Equivalencia Lgica o
Proposiciones Lgicamente Equivalentes o

Las proposiciones compuestas P y Q son lgicamente equivalentes y se escribe P Q P Q o o cuando ambas tienen los mismos valores de verdad. Obsrvese que de esta definicin se sigue que para probar que dos proposiciones son lgicamente equive o o alentes hay que probar que si P es verdad, Q tambin ha de serlo y que si P es falso, Q tiene que ser e falso. Obsrvese tambin que otra forma de demostrar lo mismo es probar que P es verdad partiendo de que e e Q lo es y probar que si Q es falso, entonces P tambin lo es. e 18

Lgica Matemtica o a Ejemplo 1.18 Demostrar las Leyes de De Morgan.

2

Francisco Jos Gonzlez Gutirrez e a e

(a) (p q) p q (b) (p q) p q Solucin o (a) (p q) p q. En efecto, si (p q) es verdad, entonces p q es falso luego p y q son, ambas, falsas y, por lo tanto, p es verdad y q es verdad. Consecuentemente, p q es verdad. Por otra parte, si (p q) es falso, entonces p q es verdad luego una de las dos proposiciones ha de ser verdad y su negacin falsa, luego p q es, en cualquier caso, falso. o (b) (p q) p q En efecto, si (p q) es verdad, entonces p q es falso luego una de las dos proposiciones ha de ser falsa y su negacin verdad, luego p q es verdad en cualquiera de los casos. o Por otra parte, si (p q) es falso, entonces p q es verdad, luego p es verdad y q es verdad, de aqu que p y q sean, ambas, falsas y, consecuentemente, p q sea falso.

1.4.2

Equivalencia Lgica y Proposicin Bicondicional o o

La proposicin P es lgicamente equivalente a la proposicin Q si, y slo si la proposicin bicondicional o o o o o P Q es una tautolog a. Demostracin o Veamos que P Q slo si P Q es una tautolog o a. En efecto, si P Q, entonces tienen los mismos valores de verdad, es decir P y Q son, ambos, verdaderos o falsos, de aqu que el valor de verdad de P Q sea siempre verdadero, es decir es una tautolog a. Rec procamente, probemos que P Q si P Q es una tautolog a. Efectivamente, si la proposicin bicondicional P Q es siempre verdadera, entonces de acuerdo o con su denicin, P y Q son, ambas, falsas o verdaderas, es decir tienen los mismos valores de o verdad y, por tanto, P es lgicamente equivalente a Q. o
De Morgan (Madras 1806-Londres 1871). Naci en la India, donde su padre trabajaba en la East India o Company, aunque realiz sus estudios en el Trinity College, donde obtuvo el grado de cuarto wrangler. Al negarse a pasar o el indispensable examen religioso no consigui plaza en Cambridge ni en Oxford, a pesar de haber sido educado en la Iglesia o de Inglaterra, en la que su madre esperaba que se hiciese pastor. A consecuencia de ello, De Morgan se vio nombrado profesor de matemticas, a la temprana edad de 22 a os, en la recin creada Universidad de Londres, ms tarde University a n e a College de la misma universidad, donde ense o de manera continua, excepto durante breves per n odos a consecuencias de sucesivas dimisiones provocadas por casos de reduccin de la libertad acadmica. De Morgan fue siempre un defensor de o e la tolerancia intelectual y religiosa, as como un profesor y escritor excepcional. Era ciego de un ojo, de nacimiento, lo cual puede explicar algunas de sus inofensivas excentricidades, tales como su odio a la vida rural, su negativa a votar en las elecciones y su renuncia a solicitar el ingreso en la Royal Society. A De Morgan le encantaban los acertijos, rompecabezas y problemas ingeniosos, muchos de los cuales aparecen coleccionados en su libro Budget of Paradoxes, que es una deliciosa stira sobre los cuadradores del c a rculo publicada despus de su muerte por su viuda. De Morgan fue uno de los precursores e de la lgica matemtica y en 1847 public Lgica formal o el clculo de inferencia. o a o o a
2 Augustus

19

Universidad de Cdiz a

Departamento de Matemticas a

Nota 1.8 En el ejemplo anterior vimos que (p q) p q, luego este teorema afirma que la proposicin bicondicional (p q) p q es una tautolog Veamos que es cierto. En efecto, o a.

p V V F F

q V F V F

pq V F F F

p F F V V

q F V F V

(p q) F V V V 20

p q F V V V

(p q) (p q) V V V V

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

1.4.3

Equivalencias Lgicas ms Comunes o a

Al igual que en la implicacin lgica, veamos una tabla con las equivalencias lgicas ms utiles junto o o o a con los nombres que reciben. Idempotencia de la conjuncin y la disyuncin. o o (P P ) P (P P ) P Conmutatividad de la conjuncin y la disyuncin. o o (P Q) (Q P ) (P Q) (Q P ) Asociatividad de la conjuncin y la disyuncin. . o o [(P Q) R] [P (Q R)] [(P Q) R] [P (Q R)] Distributividad de respecto de y de respecto de . [P (Q R)] [(P Q) (P R)] [P (Q R)] [(P Q) (P R)] Leyes de De Morgan. (P Q) (P Q) (P Q) (P Q) Leyes de dominacin. o P T T P C C Leyes de identidad. P T P P C P Doble negacin. o P P Implicacin. o (P Q) (P Q) Exportacin. o [P (Q R)] [(P Q) R] Contrarrec proca. (P Q) (Q P ) Reduccin al absurdo. o (P Q) [(P Q) C]

Ejemplo 1.19 Probar que la proposicin condicional P Q es lgicamente equivalente a su cono o trarrec proca Q P . Solucin o 21

Universidad de Cdiz a

Departamento de Matemticas a

Veamos que ambos condicionales tienen los mismos valores de verdad. En efecto, si P Q es verdad, entonces P puede ser verdad o falso. Pues bien, si P es verdad, q ha de ser verdad, luego P y Q son, ambas, falsas y, consecuentemente, Q P es verdad. si P es falso, entonces P es verdad y Q P es verdad, cualquiera que sea el valor de verdad de Q. Por lo tanto, en cualquier caso, Q P es verdad. Por otra parte, si P Q es falso, entonces P es verdad y Q es falso, luego Q es verdad y P es falso y, por lo tanto, Q P es falso. Tambin podemos hacerlo escribiendo su tabla de verdad. e P V V F F Q V F V F P Q V F V V Q F V F V P F F V V Q P V F V V (P Q) (Q P ) V V V V

Entonces, el bicondicional (P Q) (Q P ) es una tautolog y por 1.4.2 es una equivalencia a lgica. o Ejemplo 1.20 Solucin o Lo demostraremos partiendo de la segunda proposicin, el razonamiento es ms sencillo y rpido. En o a a efecto, si (P Q) C es verdad, entonces P Q ha de ser falso luego P y Q son, ambas, falsas de aqu que Q sea verdad y P Q tambin. e Por otra parte, si (P Q) C es falso, entonces P Q ha de ser verdad (C siempre es falso) luego P es verdad y Q tambin, de aqu que Q sea falso y P Q sea falso. e Ahora lo haremos comprobando, mediante su tabla de verdad, que la proposicin bicondicional correo spondiente, (P Q) [(P Q) C], es una tautolog a. En efecto, P V V F F Q V F V F P Q V F V V Q F V F V P Q F V F F C F F F F (P Q) C V F V V (P Q) [(P Q) C] V V V V Probar la equivalencia lgica conocida como reduccin al absurdo. o o

Por tanto, y segn 1.4.2, u (P Q) [(P Q) C]

Ejemplo 1.21

Demostrar que (p q) (p q) (p q) (p q). 22

Lgica Matemtica o a Solucin o En efecto, (p q) p q (p T ) (q T ) (p (q q)) (q (p p))

Francisco Jos Gonzlez Gutirrez e a e

{De Morgan} {Identidad} {Tautolog a}

(p q) (p q) (q p) (q p) {Distributividad} (p q) (p q) (p q) (p q) {Commutatividad} (p q) (p q) (p q) {Idempotencia}

Ejemplo 1.22

Establecer las siguientes equivalencias simplificando las proposiciones del lado izquierdo.

(a) [(p q) p] T (b) ((p q) p) C (c) [(q p) (p q) (q q)] p (d) [(p p) (p p)] C siendo C una contradiccin y T una tautolog o a. Solucin o

(a) [(p q) p] T [(p q) p] (b) ((p q) p) C ((p q) p) ( (p q) p) {Implicacin} o ((p q) p) (p q) p (p q) p (q p) p q (p p) q C C 23 {Doble negacin} o {De Morgan} {Doble Negacin y De Morgan} o {Conmutatividad de } {Asociatividad de } {Leyes de dominacin} o (p q) p (p q) p {Implicacin} o {De Morgan}

p (p q) {Conmutatividad de } (p p) q T q T {Asociatividad de } {Leyes de dominacin} o

Universidad de Cdiz a (c) [(q p) (p q) (q q)] p [(q p) (p q) (q q)] (d) [(p p) (p p)] C [(p p) (p p)]

Departamento de Matemticas a

(q p) (p q) (q q) {Implicacin} o (q p) (p q) T (p q) (p q) p (q q) pC p {Tautolog a} {Conmutatividad} {Distributividad} {Identidad}

(p p) (p p) {Implicacin} o p p C {Idempotencia y doble negacin} o {Contradiccin} o

Ejemplo 1.23 Si y son dos operadores lgicos, se dice que o es distributivo respecto de si las proposiciones p (q r) y (p q) (p r) son lgicamente equivalentes. o Probar, usando tablas de verdad, que y son, cada uno, distributivos respecto del otro y que es distributivo sobre s mismo. Solucin o (a) Probaremos que p(q r) (pq)(pr), para lo cual veremos que la proposicin bicondicional o correspondiente es una tautolog En efecto, a. p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V V V F V V V F p (q r) V V V F F F F F pq V V F F F F F F pr V F V F F F F F (p q) (p r) V V V F F F F F V V V V V V V V

Por tanto, p (q r) (p q) (p r) (b) Probaremos ahora que p (q r) (p q) (p r), para lo cual veremos que la proposicin o bicondicional correspondiente es una tautolog En efecto, a. p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V F F F V F F F p (q r) V V V V V F F F pq V V V V V V F F pr V V V V V F V F (p q) (p r) V V V V V F F F V V V V V V V V

Por tanto, p (q r) (p q) (p r) 24

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

(c) Probaremos, nalmente, p (q r) (p q) (p r), para lo cual veremos que la proposicin bicondicional correspondiente es una tautolog En efecto, o a. p V V V V F F F F q V V F F V V F F r V F V F V F V F q r V F V V V F V V p (q r) V F V V V V V V p q V V F F V V V V p r V F V F V V V V (p q) (p r) V F V V V V V V V V V V V V V V

Por tanto, p (q r) (p q) (p r)

25