1

CAPTULO 0 ESBOZOS DE LGICA MATEMTICA Y DEMOSTRACIONES

La lgica es la higiene que el matemtico practica para mantener sus ideas saludables y fuertes. Hermann Weyl (1885-1955) INTRODUCCIN 0. Desde la infancia se ha odo hablar de la lgica. Expresiones como es lgico y l razon lgicamente son usuales entre los estudiantes. Sin embargo, al tratar de profundizar sobre el significado de dichas expresiones no se avanza demasiado. Este captulo tiene la enorme pretensin de que los estudiantes adquieran ciertos hbitos lgico-matemticos para que puedan disfrutar de sus clases de matemtica. La palabra lgica proviene del griego (logos) y significa discurso o raciocinio. Discurso es la facultad racional con que se infieren unas cosas de otras, sacndolas por consecuencia de sus principios o concindolas por indicios y seales. Raciocinar es usar la razn para conocer y juzgar, y raciocinio es la facultad de raciocinar. La lgica es la rama de la filosofa que estudia el razonamiento y, en particular, las inferencias. La lgica matemtica es el estudio sistemtico de los razonamientos correctos para diferenciarlos de los incorrectos, usando smbolos y mtodos de la matemtica. La lgica es la armazn donde se construyen las demostraciones rigurosas. Sin la lgica no sera posible estructurar demostraciones. La lgica fue introducida por el filsofo griego Aristteles (384-322 AC) 1 , quin estudi la teora de la deduccin, es decir, los mtodos para deducir proposiciones a partir de otras. El primero que vio la posibilidad de aplicar los mtodos matemticos en el estudio de la lgica fue Gottfried Wilhelm von Leibniz (1646-1776), quin trat de hallar una linguis universalis. Estos mtodos fueron estudiados extensamente por los ingleses George Boole (1815-1864) y Augustus De Morgan (18061878). En este captulo se introducen las proposiciones y su clculo; se introducen los argumentos vlidos e invlidos; se estudian las formas proposicionales y su cuantificacin y, al final, se dan ejemplos sobre las demostraciones en matemtica. COMENTARIO 0.1. La matemtica, como toda ciencia que escudria la realidad y estudia un aspecto de la Naturaleza, transmite todo su conocimiento a la gente comn a travs de los profesores. En muchas ocasiones es difcil comunicar a los dems nuestras propias experiencias y ello se debe, en parte, a la diversidad de significados que generalmente posee una palabra. Por esta razn es necesario definir cada trmino tcnico de la ciencia, es decir, explicitar el significado preciso de cada palabra no habitual que se use. Una definicin debe usar palabras ms conocidas y simples que aqulla que se pretende definirr, y llegar un momento en que encontremos palabras que no se puedan simplificar ms o, que sencillamente no se quieran convertir en ms simples. Las palabras que no se definen reciben el nombre de trminos primitivos. Una oracin gramatical es la unidad del lenguaje que expresa un sentido completo. Ya que es muy complicado hablar con monoslabos necesitamos de las oraciones gramaticales para comunicarnos y, para construir dichas oraciones, se aceptan palabras en espaol con su significado natural. Despus
1

AC significa antes de Cristo.

2 de establecidos los trminos primitivos todo otro trmino tcnico debe definirse y a esto se debe la importancia de las definiciones en matemtica. Generalmente una definicin se hace porque dicho concepto aparece repetidamente en el discurso matemtico. Toda definicin consta de dos expresiones que se llaman el definiendum y el definiens. La primera de ellas es la palabra o conjunto de palabras que se deben definir y aclarar, y la segunda de ellas es la expresin que define o aclara. EJEMPLO 0.1. Un tringulo se dice issceles si tiene dos lados iguales es una definicin cuyo definiendum ees tringulo issceles y su definiens es tringulo que tiene dos lados iguales. Para darse esta definicin tendra que haberse definido previamente las palabras tringulo y lados iguales. COMENTARIO 0.2. Una definicin es un convenio sobre el significado de un trmino en particular segn el cual el definiendum puede sustituir al definiens, y viceversa. Por esta razn la definicin anterior debera escribirse Un tringulo se dice issceles si y slo si tiene dos lados iguales. Mantendremos el convenio de escribir si en vez de si y slo si en las definiciones, ms no haremos extensivo este convenio a otras expresiones gramaticales. EJEMPLO 0.2. Diremos que un entero n es par si existe un entero k tal que n = 2k. Los enteros -6, 0 y 4 son enteros pares ya que -6 = 2(-3), 0 = 2.0 y 4 = 2.2. Se dice que un entero n es impar si existe un entero j tal que n = 2j + 1. Los enteros -7, 1 y 3 son impares porque -7 = 2(-4) + 1, 1 = 2.0 + 1 y 3 = 2.1 + 1. Diremos que dos enteros tienen la misma paridad si ambos son pares o ambos son impares. Los pares de enteros -3, 5 y -4, 6 tienen la misma paridad. Dos enteros tienen paridades opuestas si uno es par y el otro es impar. Los enteros -3 y 4 tienen paridades opuestas. En estas definiciones la palabra entero es un trmino primitivo. EJEMPLO 0.3. Un entero a es un divisor o factor de un entero b, y se escribe a | b, si existe un entero k tal que b = ak. Un entero p, mayor que 1, se llama primo si sus nicos divisores positivos son 1 y p. Los primeros nmeros primos son 2, 3, 5, 7, 11, 13, 17, 19, 23, 29 y 31. Un entero p, mayor que 1, se dice compuesto si no es primo. COMENTARIO 0.3. Los matemticos usan la palabra teorema para referirse a proposiciones matemticas que se usan para resolver problemas y demostrar ms teoremas. Para demostrar un teorema se usan las definiciones dadas y los teoremas ya demostrados. Como no podemos ir indefinidamente hacia atrs debemos empezar con ciertas proposiciones que no se demuestran, y se llaman axiomas. Todos los resultados obtenidos a partir de ciertos axiomas dados se llama teora axiomtica. El calificativo de intuitivo se hace si no es axiomtico. EJEMPLO 0.4. 1. 2. Cules de las siguientes expresiones son oraciones gramaticales? Daniella es linda. Cundo vienes?

3 3. x2 5x + 6 = 0 4. Sonia es casada. 5. Elvia es 6. Quiero verte pronto. 7. Todos los burros son zurdos. 8. Oh Me ca. 9. Debe aportar algo ms. 10. El siete es un nmero primo. 11. Alguien debe decir algo. 12. Llueve. 13. pero no sin embargo si Solucin: 1. Es una oracin gramatical subjetiva pues expresa un juicio sobre la belleza. 2. Es una oracin gramatical interrogativa porque hace una pregunta. 3. Es una oracin gramatical que usa smbolos. 4. Es una oracin gramatical declarativa. 5. No es una oracin gramatical puesto que no expresa un juicio completo. 6. Es una oracin gramatical desiderativa ya que expresa un deseo. 7. Es una oracin gramatical declarativa que para algunos no tiene sentido. 8. Es una oracin gramatical exclamativa porque expresa un sentimiento. 9. Es una oracin gramatical imperativa ya que sirve para mandar. 10. Es una oracin gramatical declarativa. 11. Es una oracin gramatical declarativa. 12. Es una oracin gramatical que expresa un juicio completo a travs de un predicado. 13. No es una oracin gramatical por no cumplir con la regla dela sintaxis espaola. COMENTARIO 0.4. Un conjunto es un trmino primitivo que no se define. Es sinnimo de agregado o coleccin de objetos, y estos objetos se llaman sus elementos. Si x es un elemento de un conjunto A, entonces se escribe xA y se lee x est en A. Si x no est en A se escribir xA colocando, como es habitual en matemtica, una raya sobre el smbolo para indicar su negacin. Si un conjunto tiene pocos elementos, entonces dicho conjunto puede denotarse colocando todos sus elementos entre llaves. Por ejemplo, {a, b, c} denota el conjunto cuyos elementos son a, b y c. El orden de colocacin de los elementos de un conjunto no importa y as {a, b, c} y {b, a, c} denotan el mismo conjunto. Si un conjunto tiene muchos elementos, entonces stos no pueden explicitarse. Lo conveniente en este caso es presentarlo como el conjunto de los elementos que cumplen una propiedad. Por ejemplo, {x es entero | x es mayor que 3} denota el conjunto de los nmeros enteros mayores que 3. As, el nmero 7 es un elemento de ese conjunto, pero 1 no lo es. Si Z denota el conjunto de los nmeros enteros, entonces el conjunto anterior puede denotarse mediante {xZ | x > 3}. Un conjunto notable es el que no tiene elementos y se llama conjunto vaco, y se denota mediante la letra noruega . La expresin x siempre es falsa porque no tiene elementos. Un conjunto es no vaco si tiene por lo menos un elemento. Sean A y B dos conjuntos. Se dice que A es un subconjunto de B, y se escribe A B, si cada elemento de A est en B. Se dice que los conjuntos A y B son iguales, y se escribe A = B, si A B y B A. Es decir, dos conjuntos son iguales si tienen exactamente los mismos elementos.

4 En matemtica interesan los conjuntos numricos. Los smbolos N, Z, Q y denotarn los conjuntos de nmeros naturales o enteros positivos, los nmeros enteros, los nmeros racionales y los nmeros reales. EJEMPLO 0.5. La ecuacin 2n = 1 no tiene solucin entera porque al lado izquierdo de la igualdad est un nmero par mientras que a su derecha est un nmero impar, y no pueden ser iguales. Luego, el conjunto de soluciones enteras de la ecuacin dada es el conjunto vaco. DEFINICIN 0.1. Una variable es un smbolo que denota un elemento cualquiera de un conjunto no vaco. Este conjunto se llama rango o universo del discurso de la variable, y sus elementos se llaman valores de la variable. Una constante es una variable cuyo rango tiene un solo elemento. COMENTARIO 0.5. Generalmente se usan las ltimas letras minsculas del alfabeto espaol para denotar las variables, y las primeras letras minsculas para denotar las constantes. EJEMPLO 0.6. La ecuacin y = cx2 tiene las variables x e y y la constante c. En este ejemplo el rango no ha sido dado. DEFINICIN 0.2. Una proposicin es una oracin gramatical que es verdadera o es falsa, pero no ambas cosas a la vez. Una variable cuyo rango es el conjunto de las proposiciones se llama variable proposicional. Si una proposicin es verdadera le asignaremos el nmero 1, y si es falsa se le asignar el nmero 0. Estos nmeros 1 y 0 se llaman valores veritativos de las proposiciones. Se dice que esos dos valores son uno opuesto del otro. COMENTARIO 0.6. Algunos autores usan V y F donde nosotros hemos usado 1 y 0, respectivamente. Las oraciones gramaticales que son subjetivas, interrogativas, desiderativas, exclamativas, desiderativas, dubitativas e imperativas no son proposiciones. Para que una oracin gramatical declarativa sea una proposicin no es necesario que verdaderamente sepamos que es verdadera o falsa, sino que debe estar claro que es una u otra. EJEMPLO 0.7. Cules de las siguientes expresiones son proposiciones? 1. Valera es una ciudad bellsima. 2. Carora es la capital del Estado Lara. 3. Valera es una ciudad del Estado trujillo. 4. Qu hora es? 5. 1+2=4 6. 1+2=3 7. Ojal llueva. 8. x+1=5 9. x + y = y + x para todos los nmeros reales x e y. 10. Existe un nmero real x tal que x + 1 = 5.

5 11. Posiblemente te ver pronto. 12. Luis es alto. 13. Jos es 14. Qu bueno eres 15. Hoy es mircoles. 16. Todo entero positivo par, mayor que 2, es la suma de dos nmeros primos. Solucin 1. No es una proposicin porque es una oracin gramatical subjetiva. 2. Es una proposicin cuyo valor veritativo es 0. 3. Es una proposicin cuyo valor veritativo es 1. 4. No es una proposicin por ser una oracin gramatical interrogativa. 5. Es una proposicin falsa. 6. Es una proposicin verdadera. 7. No es una proposicin porque es una oracin gramatical declarativa. 8. No es una proposicin ya que su veracidad depender del valor de la variable x. 9. Es una proposicin verdadera porque expresa la propiedad conmutativa de la suma de los nmeros reales. 10. Es una proposicin verdadera porque existe el nmero cuatro. 11. No es una proposicin por ser una oracin gramatical dubitativa. 12. Es una proposicin. 13. No es una proposicin porque ni siquiera es una oracin gramatical. 14. No es una proposicin ya que es una oracin gramatical exclamativa. 15. Es una proposicin. Algunos no la aceptan porque involucra una variable de tiempo. 16. Si es una proposicin. Hasta hoy nadie sabe si esta proposicin es verdadera o falsa. Esta proposicin se llama la conjetura de Goldbach en honor del matemtico Christian Goldbach (1690-1764), quin la propuso en 1742. EJEMPLO 0.8. Considrese la frase Esta oracin es falsa. Si esa oracin es falsa, entonces lo que afirma es verdadero. Si la frase es verdadera, entonces lo que afirma es falso. Por tanto, la frase dada no es una proposicin. COMENTARIO 0.7. El tipo de oracin del ejemplo anterior recibe el nombre de paradoja. 2 Especficamente la paradoja anterior fue planteada por Parmnides de Creta, quin vivi en el siglo VI antes de Cristo. Usaremos las letras p, q, r, s, t, u, w para denotar las proposiciones. Si p es una proposicin, entonces sus posibles valores veritativos son 0 y 1. Esto puede expresarse a travs de un diagrama que se llama tabla de verdad. p 1 0 La tabla de verdad anterior se ha encabezado con la proposicin p, y debajo se han colocado sus posibles valores veritativos.
2

Paradoja = Asercin inverosimil o absurda, que se presenta con apariencias de verdadera.

6 En ocasiones se escribe p = 1 para indicar que la proposicin p es verdadera, y p = 0 para indicar que es falsa. Vamos a estudiar mtodos que produzcan nuevas proposiciones partiendo de otras dadas. DEFINICIN 0.3. Se llama operador lgico a un smbolo que acta en una o varias proposiciones para producir nuevas proposiciones. Un operador lgico que acta en ms de una proposicin se llama conectivo lgico. COMENTARIO 0.8. Vamos a introducir los cinco operadores lgicos que usaremos en este captulo. DEFINICIN 0.4. Sea p una proposicin. La proposicin No es el caso que p se llama la negacin de p, se denota por nop, es verdadera si p es falsa y es falsa si p es verdadera. Su tabla de verdad es p nop 1 0 0 1 COMENTARIO 0.9. Las columnas de p y no-p en la tabla de verdad tienen valores veritativos opuestos. El smbolo no- de la negacin es un operador lgico, pero no es un conectivo lgico. EJEMPLO 0.9. Halle la negacin de Hoy es mircoles Solucin: Su negacin es No es el caso que hoy es mircoles. Sin embargo, la negacin se expresa mejor mediante Hoy no es mircoles. EJEMPLO 0.10. Escriba la negacin de cada proposicin 1. Soy venezolano. 2. Alfredo no es alto. 3. Roberto es incapaz. Solucin: 1. La negacin de Soy venezolano es No soy venezolano. Las proposiciones No es cierto que soy venezolano y Es falso que soy venezolano tambin denotan su negacin. 2. Esta proposicin une a Alfredo con la propiedad de no ser alto. La negacin podr ser Alfredo no es no alto Como la doble negacin no es gramaticalmente correcta la respuesta es Alfredo es alto. 3. La negacin es Roberto no es incapaz. Sin embargo, se puede escribir Roberto es capaz eliminando el prefijo in que significa carencia. EJEMPLO 0.11. Halle la forma lgica de la proposicin Jun no vendr Solucin:

7 La forma lgica se refiere a usar los smbolos de la lgica. Se puede escribir p = Jun no vendr y la forma lgica buscada sera p. No obstante, a pesar de que este anlisis es correcto tiene el inconveniente de no indicar la negacin. Por ende, es mejor escribir q = Jun vendr y la forma lgica ser noq. EJEMPLO 0.12. La negacin de la negacin de una proposicin se llama la doble negacin y se expresa mediante nono p. Halle su tabla de verdad. Solucin: p nop nonop 1 0 1 0 1 0 Se hace paso a paso. En la primera columna, encabezada por p, se colocan sus dos posibles valores veritativos; en la segunda columna, encabezada por nop, se colocan los valores opuestos a los de la primera columna, y en la tercera columna, encabezada por nonop se colocan los valores opuestos a los de la segunda columna. COMENTARIO 0.10. En la tabla de verdad anterior las columnas encabezadas por p y por nonop son idnticas. Esto justifica la respuesta dada en el ejemplo 0.10.2. DEFINICIN 0.5. Unas proposicin se dice compuesta si contiene operadores lgicos. EJEMPLO 0.13. La proposicin nop es compuesta. DEFINICIN 0.6. La disyuncin de dos proposiciones es la proposicin que es verdadera si una de ellas es verdadera, y es falsa si ambas son falsas. La disyuncin de las proposiciones p y q se denota mediante p q, se lee p o q y su tabla de verdad es p q pq 1 1 1 1 0 1 0 1 1 0 0 0 COMENTARIO 0.11. La disyuncin de dos proposiciones es la proposicin que se forma colocando la conjuncin disyuntiva o entre ellas. El smbolo es un conectivo lgico y debe colocarse entre dos proposiciones. En la disyuncin p q, la proposicin p se llama el primer miembro y la proposicin q se llama el segundo miembro. EJEMPLO 0.14. Si p = Llueve y q = Voy al cine, entonces su disyuncin es p q = Llueve o voy al cine

8 EJEMPLO 0.15. La disyuncin de 2 < 3 y 2 + 3 = 7 es la proposicin 2 < 3 2 + 3 = 7 que es verdadera porque el primer miembro lo es. EJEMPLO 0.16. La proposicin 3 es la disyuncin de las proposiciones 3 < y 3 = que es verdadera ya que el primer miembro lo es. EJEMPLO 0.17. Si p = Los precios suben y q = Los impuestos suben, describa en espaol las siguientes proposiciones (a) p (noq) (b) (nop) (noq) (c) (nop) q Solucin: (a) Los precios suben o los impuestos no suben. (b) Los precios no suben o los impuestos no suben. (c) Los precios no suben o los impuestos suben. EJEMPLO 0.18. Halle la tabla de verdad de la proposicin (nop) q. Solucin: p q nop (nop)q 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 En las dos primeras columnas se colocan los posibles valores veritativos de las proposiciones p y q. En la tercera columna se colocan los valores veritativos opuestos a los de la primera columna, y en la cuarta columna se coloca la disyuncin de las dos columnmas anteriores. EJEMPLO 0.19. Halle la tabla de verdad de la proposicin no(p q) Solucin: p q p q no(pq) 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 En las dos primeras columnas se colocan los posibles valores veritativos de las proposiciones p y q. En la tercera columna se coloca la disyuncin de las dos columnas anteriores, y en la cuarta columna se colocan los valores veritativos opuestos a los de la tercera columna. COMENTARIO 0.12. Los parntesis se usan para especificar el orden en que los operadores lgicos se aplican en una proposicin compuesta. En el ejemplo 0.18 el operador lgico no abarca slo a la proposicin p, mientras que en el ejemplo 0.19 abarca la disyuncin p q.

9 Para evitar la proliferacin de parntesis aceptaremos que la negacin no se aplica antes de cualquier otro operador lgico, y solamente a la proposicin que le sigue inmediatamente. Por ejemplo, np q significa (nop) q y no significa no(p q). EJEMPLO 0.20. Sean p = Compr un billete de lotera y q = Gan un milln de bolvares. Exprese en espaol cada una de las siguientes proposiciones: (a) nop (b) pq (c) p noq Solucin: (a) Debe negarse la proposicin p. Su resultado es No compr un billete de lotera (b) Es la disyuncin de ambas proposiciones y se escribe Compr un billete de lotera o me gan un milln de bolvares (c) Es la disyuncin de p y noq. Se escribe Compr un billete de lotera o no gan un milln de bolvares. COMENTARIO 0.13. En la definicin 0.6 se vio que el vocablo o es inclusivo en el sentido de que la disyuncin es verdadera si ambas proposiciones lo son. Sin embargo, el vocablo o es en ocasiones exclusivo. Por ejemplo, si en la carta de un restaurante se lee Carne o pollo ello indica que se pide una de esas comidas pero no ambas. En el lenguaje ordinario es muy difcil distinguir el sentido inclusivo o exclusivo de la disyuncin. En el lenguaje de la lgica dicha ambigedad desaparece al usar notaciones distintas. Vea el ejercicio 85. En matemtica la disyuncin es inclusiva. DEFINICIN 0.7. La conjuncin de dos proposiciones es la proposicin que es verdadera si ambas son verdaderas, y es falsa si una de ellas es falsa. La conjuncin de las proposiciones p y q se denota mediante p q, se lee p y q y su tabla de verdad es p q pq 1 1 1 1 0 0 0 1 0 0 0 0 COMENTARIO 0.14. La conjuncin de dos proposiciones es la proposicin que se forma colocando la conjuncin copulativa y entre ellas. El smbolo es un conectivo lgico y debe estar entre dos proposiciones. En la conjuncin p y q la proposicin p es el primer miembro, y la proposicin q es el segundo miembro. EJEMPLO 0.21. La conjuncin de las proposiciones Llueve y Voy al cine es Llueve y voy al cine EJEMPLO 0.22. Si p = 2 < 3 y q = 2 + 3 = 7, entonces su conjuncin es p q = 2 < 3 y 2 + 3 = 7 que es falsa porque el segundo miembro lo es.

10 EJEMPLO 0.23. La proposicin a = b = 0 es la conjuncin de las proposiciones a = 0 y b = 0. EJEMPLO 0.24. Halle la forma lgica de la proposicin Aurelio trajo la tarea pero Mireya no lo hizo Solucin: Si p Aurelio trajo la tarea y q = Mireya trajo la tarea, entonces la proposicin dada puede simbolizarse mediante p noq. EJEMPLO 0.25. Halle la tabla de verdad de la proposicin no-p no-q. Solucin: p q nop noq nop noq 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 En las dos primeras columnas se colocan los posibles valores veritativos de las proposiciones p y q. En la tercera columna se colocan los valores veritativos opuestos a los de la primera columna. En la cuarta columna se colocan los valores veritativos opuestos a los de la segunda columna. En la quinta columna se coloca la conjuncin de las dos columnas anteriores. EJEMPLO 0.26. Halle el valor veritativo de la proposicin (p q) no(p q) si p = 1 y q = 0. Solucin: (p q) no(p q) (1) 1 0 1 0 (2) 1 0 (3) 1 1 (4) 1 Se coloca la proposicin dada. En la primera fila se colocan debajo de p y q los valores veritativos dados 1 y 0. En la fila (2) se coloca 1 debajo de por ser la disyuncin de 1 y 0. Se coloca 0 debajo de por ser la conjuncin de 1 y 0. En la fila (3) se coloca 1 debajo de no que es el opuesto de 0 en la fila anterior. En la fila (4) se coloca 1 debajo del smbolo por ser la disyuncin de 1 y 1. Por consiguiente, el valor veritativo buscado es 1 y ello indica que la proposicin dada es verdadera. COMENTARIO 0.15. En matemtica nos interesan las oraciones gramaticales escritas en la forma condicional, es decir, las oraciones de la forma Si p, entonces q donde p y q son proposiciones. Cundo es verdadera una oracin condicional? Considrese la oracin condicional Si llueve, entonces voy al cine. Podemos aceptar que esta oracin es un compromiso. Si efectivamente llueve y efectivamente va al cine, entonces se cumple el compromiso y la condicional es verdadera. Si es verdad que llueve y no asiste al cine, entonces el compromiso se rompi y la condicional es falsa. Si no llueve, entonces el compromiso no se rompe vaya o no vaya al cine porque no se dijo nada en este caso. En estos dos ltimos casos la condicional es verdadera.

11 DEFINICIN 0.8. La condicional o implicacin de dos proposiciones es la proposicin que es falsa si la primera de ellas es verdadera y la segunda es falsa, y es verdadera en cualquier otro caso. La primera proposicin se llama antecedente y la segunda se llama consecuente. La condicional de antecedente p y consecuente q se denota mediante p q, se lee p implica q y su tabla de verdad es p q pq 1 1 1 1 0 0 0 1 1 0 0 1 COMENTARIO 0.16. La condicional p q se puede leer de muchas maneras, por ejemplo, Si p, entonces q p es una condicin suficiente para q q es una condicin necesaria para p q si p p slo si q q es implicado por p q cuando p q siempre que p slo q es p solamente q es p EJEMPLO 0.27. Si p = Valeria es inteligente y q = Valeria es bonita, entonces p q = Si Valeria es inteligente, entonces es bonita y q p = Si Valeria es bonita, entonces es inteligente. EJEMPLO 0.28. Si p = Caminar cinco kilmetros y q = Recorrer el parque, halle la forma lgica de la proposicin Es necesario caminar cinco kilmetros para recorrer el parque Solucin: De acuerdo al comentario anterior la condicin necesaria es el consecuente. Por tanto, la condicional ser Si recorro el parque, entonces caminar cinco kilmetros EJEMPLO 0.29. Con la misma notacin del ejemplo anterior halle la forma lgica de la proposicin Es suficiente caminar cinco kilmetros para recorrer el parque Solucin: La condicin suficiente es el antecedente de la condicional. Luego, la condicional es Si camino cinco kilmetros, entonces recorro el parque. EJEMPLO 0.30. Halle la forma lgica de la proposicin Est lloviendo y no tengo paraguas y, por ende, me mojar. Solucin:

12 El antecedente es la conjuncin de las proposiciones Est lloviendo y No tengo paraguas, y su consecuente es Me mojar. Luego, si se hace p = Est lloviendo, q = Tengo paraguas y r = Me mojar, entonces la respuesta es (p noq) r. EJEMPLO 0.31. Sean p = Valeria va a la escuela, q = Valeria es inteligente y r = Valeria va a una fiesta esta tarde Halle la forma lgica de cada una de las siguientes proposiciones: 1. Si Valeria va a la escuela, entonces es inteligente y va a una fiesta esta tarde. 2. Si Valeria va a la escuela, entonces es inteligente, pero de cualquier manera, ir a la fiesta esta tarde. Solucin: 1. El antecedente es p y su consecuente es q r. Por tanto, la forma lgica es p (q r). 2. De la proposicin p se implica solamente la proposicin q, y este resultado se adjunta a la proposicin r. Luego, la forma lgica es (p q) r. COMENTARIO 0.17. Del ejemplo anterior se deduce que p q r es una notacin ambigua y la ambigedad desaparece al usar los parntesis. EJEMPLO 0.32. Usando las notaciones del ejemplo anterior describa en espaol las siguientes proposiciones: (a) (p q) r (b) p (q r) Solucin: (a) Si Valeria va a la escuela o es inteligente, entonces va a la fiesta esta tarde (b) Valeria va a la escuela o, si Valeria es inteligente, entonces va a la fiesta esta tarde COMENTARIO 0.18. Debido a la definicin de la condicional de dos proposiciones las siguiente afirmaciones son verdaderas: Si el antecedente de una condicional es falso, entonces la condicional es verdadera Si el consecuente de una condicional es verdadero, entoinces la condicional es verdadera En pocas palabras, una condiconal es verdadera si el antecedente es falso o el consecuente es verdadero EJEMPLO 0.33. La condicional Si 5, entonces los cochinos vuelan es verdadera porque el antecedente es falso debido a que no tiene elementos. EJEMPLO 0.34. La condicional Si Dios existe, entonces 1 + 1 = 2 es verdadera porque el consecuente es verdadero. EJEMPLO 0.35. Considrese la condicional Si un animal es un perro, entonces tiene cuatro patas. Ser un perro es una condicin suficiente para saber que el animal tiene cuatro patas. Por otro lado, tener cuatro patas es una condicin necesaria para que un animal sea un perro, pero no es una condicin suficiente para identificar un perro puesto que es posible que un animal tenga cuatro patas y no sea un perro.

13 EJEMPLO 0.36. Halle la tabla de verdad de la proposicin no(p q) Solucin: p q p q no(pq) 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 En las dos primeras columnas se colocan los posibles valores veritativos de las proposiciones p y q. En la tercera columna se coloca la condicional de las dos columnas anteriores. En la cuarta columna se colocan los valores veritativos opuestos a los de la columna anterior. EJEMPLO 0.37. Halle el valor veritativo de la proposicin (nop q) noq si la condicional p q es falsa. Solucin: La condicional p q es falsa si p = 1 y q = 0. As, (nop q) noq 1 0 11 Se han colocado 1 y 0 debajo de p y q. Luego, debajo de noq va 1. Por tanto, debajo de la disyuncin va 1. Por consiguiente, la proposicin dada tiene valor veritativo 1. COMENTARIO 0.19. Considrese la condicional Si hace calor, entonces me bao en la piscina. En espaol esta proposicin tiene sentido porque hay una causa-efecto entre el antecedente y el consecuente. Se acepta que es verdadera excepto si hace calor y no me bao en la piscina. El concepto de condicional dado en la definicin 0.8 es independiente de la relacin causaefecto entre el antecedente y el consecuente. Esta definicin puede parecer extraa y hasta quizs contraria a la intuicin, pero es la que los matemticos han adoptado. La definicin dada por los matemticos es mucho ms general que la dada en el idioma espaol. Vamos a definir ahora el ltimo de los conectivos lgicos que se usarn en este captulo. DEFINICIN 0.9. La bicondicional de dos proposiciones es la proposicin que es verdadera si ellas tienen el mismo valor veritativo, y es falsa si los valores veritativos son distintos. La bicondicional de las proposiciones p y q se denota mediante p q, se lee p si y slo si y su tabla de verdad es p q pq 1 1 1 1 0 0 0 1 0 0 0 1 COMENTARIO 0.20. La bicondicional se puede leer de muchas maneras, por ejemplo, p si y slo si lo cual a veces se denota mediante sii. p es condicin necesaria y suficiente para q

14 p siempre y cuando q p implica y es implicado por q La doble implicacin de p y q. El smbolo es un conectivo lgico y debe colocarse entre dos proposiciones.

EJEMPLO 0.38. Si p = Llueve y q = Voy al cine, entonces p q = Llueve si y slo si voy al cine. EJEMPLO 0.39. La proposicin Ir a pasear al parque si y slo si mi nieta me acompaa es la bicondicional de las proposiciones Ir a pasear al parque y Mi nieta me acompaa. La veracidad de la bicondicional no dice que ir a pasear al parque o que mi nieta me acompaa sino que ambas cosas ocurran o que ninguna que esas cosas ocurra. En otras palabras no puede ocurrir que yo vaya al parque y mi nieta no me acompae ni tampoco que yo no vaya al parque y mi nieta me acompae. EJEMPLO 0.40. Halle la tabla de verdad de la bicondicional p no-q Solucin p q noq p no q 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 En las dos primera columnas se colocan los posibles valores veritativos de las proposiciones p y q. En la tercera columna se colocan los valores veritativos opuestos a los de la columna anterior. En la ltima columna se coloca 1 si los valores veritativos en las columnas primera y tercera son iguales, y 0 si son distintos. COMENTARIO 0.21. p q nop p q p q p q p q 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 En la tabla de verdad anterior aparecen los cinco operadores lgicos que se han estudiado. Sin embargo, algunas otras expresiones pueden aparecer como conectivos lgicos. Por ejemplo, Todo p es q puede traducirse como p q, y Ningn p es q puede traducirse como p noq EJEMPLO 0.41. La proposicin Toda la gente buena va al cielo puede escribirse como Si es gente buena, entonces va a al cielo. EJEMPLO 0.42. La proposicin Ningn hombre es una isla puede escribirse como Si es un hombre, entonces no es una isla.

15 EJEMPLO 0.43. La proposicin Olga no escribir a menos que Diana se lo indique puede escribirse como Olga no escribir o Diana se lo indica. EJEMPLO 0.44. Halle la tabla de verdad de la proposicin (p q) no-r. Solucin: p q r nor p q (p q) nor 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 A cada variable proposicional le corresponden dos posibles valores veritativos. Como en este ejemplo hay tres variables proposicionales hay 2.2.2 = 8 posibilidades de valores veritativos. Esto indica que la tabla de verdad tendr 8 filas. En las tres primeras columnas se colocan los posibles valores veritativos de las proposiciones p, q y r. Ntese que debajo se p se han alternado unos y ceros de cuatro en cuatro; debajo de q de dos en dos, y debajo de r de uno en uno. Este mtodo nos asegura que se incluyan todas las posibilidades y no se excluya ninguna de ellas. En la cuarta columna se colocan los valores veritativos opuestos a los de la tercera columna. En la quinta columna se coloca la conjuncin de las dos primeras columnas. En la ltima columna se coloca la disyuncin de las columnas cuarta y quinta. COMENTARIO 0.22. En el ejemplo anterior vimos como se pueden construir tablas de verdad de proposiciones complejas haciendo una operacin a la vez. Si una proposicin compuesta tiene n proposiciones, entonces en su tabla de verdad aparecern 2n filas, por lo que su construccin se hace inmanejable si n es grande. Podemos ahorrar tiempo y espacio construyendo la tabla de verdad de la manera siguiente: ( p q) nor 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 (1) (4) (2) (6) (5) (3) Se colocan los posibles valores veritativos debajo de las proposiciones p, q y r como se muestra en las columnas (1), (2) y (3). La columna (4), debajo de , se obtiene hallando la conjuncin de las dos primeras columnas. Debajo de no- se forma la columna (5) con los valores veritativos opuestos a los

16 de la columna (3). La columna (6) es la disyuncin de las columnas (4) y (5). Ntese que esta ltima columna coincide con la ltima columna de la tabla de verdad del ejemplo anterior. EJEMPLO 0.45. Halle la tabla de verdad de la proposicin (p r) [nop (p q)] Solucin: (p r) [nop (p q)] 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 (1) (4) (3) (8) (6) (7) (5) (2) En (1), (2) y (3) se colocan los posibles valores veritativos de las proposiciones p, q y r. En (4) se coloca la conjuncin de (1) y (3). En (5) se coloca la disyuncin de (1) y (2). En (6) se colocan los valores veritativos opuestos a los de la columna (1). En (7) se coloca la conjuncin de (6) y (5). En (8) se coloca la disyuncin de (4) y (7). DEFINICIN 0.10. La recproca de la condicional p q es la condicional q p. La contrapositiva o contrarrecproca de la condicional p q es la condicional noq nop. COMENTARIO 0.23. Para obtener la recproca de una condicional bastar intercambiar entre s el antecedente y el consecuente. Para obtener su contrapositiva se niegan el antecedente y el consecuente, y se invierten entre s. Por estas razones es conveniente convertir cualquier proposicin en su forma condicional para hallar su recproco y su contrapositiva. EJEMPLO 0.46. Halle la recproca y la contrapositiva de la proposicin Si llueve, entonces voy al cine. Solucin: El antecedente es Llueve y el consecuente es Voy al cine. Entonces su recproca es Si voy al cine, entonces llueve y la contrapositiva es Si no voy al cine, entonces no llueve. EJEMPLO 0.47. Halle la recproca y la contrapositiva de la proposicin Dos ngulos adyacentes son suplementarios Solucin: La forma condicional de la proposicin dada es Si dos ngulos son adyacentes, entonces son suplementarios. Su recproca es Si dos ngulos son suplementarios, entonces son adyacentes. La contrapositiva es Si dos ngulos no son suplementarios, entonces no son adyacentes. EJEMPLO 0.48. Halle la recproca y la contrapositiva de la proposicin Existen infinitos nmeros primos.

17 Solucin: La forma condicional es Si X es el conjunto de los nmeros primos, entonces X tiene infinitos elementos. Su recproca es Si un conjunto tiene infinitos elementos, entonces es el conjunto de los nmeros primos. Su contrapositiva es Si un conjunto es finito, entonces no es el conjunto de los nmeros primos. COMENTARIO 0.24. Si el antecedente de una condicional es la conjuncin de varias proposiciones, entonces se puede hablar de un recproco parcial, que se obtiene cambiando una de esas proposiciones por el consecuente. Por ejemplo, un recproco parcial de la condicional Si H1 y H2, entonces T es Si H1 y T, entonces H2. EJEMPLO 0.49. Considrese la proposicin Si dos tringulos tienen dos pares de lados proporcionales y los ngulos comprendidos iguales, entonces los tringulos son semejantes. Un recproco parcial es Si dos tringulos son semejantes y dos pares de sus lados son proporcionales, entonces sus ngulos son iguales. Otro recproco parcial es Si dos tringulos son semejantes y dos de sus ngulos son iguales, entonces los lados que forman esos ngulos son proporcionales. DEFINICIN 0.11. Una proposicin compuesta se llama una tautologa si es verdadera para todos los valores veritativos de sus componentes. Una proposicin compuesta se llama una contradiccin si es falsa para todos los valores veritativos de sus componentes. Una proposicin compuesta se llama una contingencia si no es una tautologa ni una contradiccin. COMENTARIO 0.25. En la columna de una tautologa solamente aparecern unos, en la columna de una contradiccin solamente aparecern ceros, y en la columna de una contingencia aparecern ceros y unos. EJEMPLO 0.50. La proposicin p nop es una tautologa. Solucin: p nop p nop 1 0 1 0 1 1 En la primera columna se colocan los posibles valores veritativos de la proposicin p; en la segunda columna se colocan los opuestos de los valores veritativos de los de la primera columna, y en la tercera columna se coloca la disyuncin de las dos columnas anteriores. Como en esta columna aparecen solamente unos se tiene que la proposicin dada es una tautologa. COMENTARIO 0.26. La tautologa dada en el ejemplo anterior se llama la Ley del tercio excluso y establece que toda proposicin es verdadera o es falsa. Aunque algunos matemticos no aceptan esta ley en estas pginas la aceptaremos sin ninguna limitacin. Una de las consecuencias de esta ley es que si una proposicin no es falsa debe ser verdadera.

18 EJEMPLO 0.51. La proposicin p p es una tautologa Solucin: p pp 1 1 0 1 Basta ver que la ltima columna est llena de unos. COMENTARIO 0.27. Esta tautologa recibe el nombre de Ley de repeticin y establece que Toda cosa es ella misma. EJEMPLO 0.52. La proposicin p nop es una contradiccin Solucin: p nop p no p 1 0 0 0 1 0 Basta ver que la ltima columna est llena de ceros. COMENTARIO 0.28. Esta contradiccin establece que una proposicin no puede ser verdadera y falsa a la vez. EJEMPLO 0.53. Es la proposicin [(nop) (p q)] noq una tautologa? Solucin: Sean p = 0 y q = 1. Entonces el primer parntesis es 1 por ser la negacin de p, y el segundo parntesis tambin es uno porque el antecedente es falso. Luego, el antecedente de la proposicin dada es verdadera por ser disyuncin de proposiciones verdaderas. Pero, noq es 0 y se tendr que la condicional dada es 0 ya que el antecedente es 1 y el consecuente es 0. Como aparece un 0 no es una tautologa. COMENTARIO 0.29. En este captulo la letra T denotar una tautologa y la letra C denotar una contradiccin. Por tanto, debajo de T siempre existirn unos y debajo de C ceros. EJEMPLO 0.54. Si p es una proposicin, entonces C p es una tautologa. Solucin: Como el antecedente C siempre es falso, entonces la condicional siempre es verdadera. COMENTARIO 0.30. Esta tautologa establece que de una contradiccin puede deducirse cualquier proposicin. EJEMPLO 0.55. Es la proposicin Si los perros vuelan y los perros no vuelan, entonces el Sol sale por el Este una tautologa?

19 Solucin: Si p = Los perros vuelan y q = El Sol sale por el Este, entonces se obtiene que (p no-p) q. Por el ejemplo 0.52 el antecedente de la condicional anterior es una contradiccin, y por el ejemplo anterior resulta una tautologa. Por tanto, la proposicin dada es una tautologa. EJEMPLO 0.56. La proposicin p T es una tautologa. Solucin: Es una tautologa porque el segundo miembro de la disyuncin es siempre verdadero. EJEMPLO 0.57. La proposicin p C p es una tautologa. Solucin: P C pC 1 0 1 0 0 0 Basta ver que las columnas primera y tercera son idnticas. EJEMPLO 0.58. La proposicin p T p es una tautologa. Solucin: P T pC 1 1 1 0 1 1 Basta ver que las columnas primera y tercera son idnticas. EJEMPLO 0.59. La proposicin p C C es una tautologa. Solucin: p C pC 1 0 0 0 0 0 Basta ver que que las dos ltimas columnas son idnticas. EJEMPLO 0.60. La proposicin (p q) (q p) es una contingencia. Solucin: Si p = q = 1, entonces ambas condicionales son verdaderas y se tendr que la conjuncin de ellas es verdadera. Si p = 0 y q = 1, entonces la primera condicional es verdadera porque el antecedente es falso, y la segunda es falsa ya que su antecedente es verdadero y su consecuente es falso. Luego, en este caso la conjuncin es falsa. Como hay 0 y 1 es una contingencia. EJEMPLO 0.61. La proposicin [ (p q) p] q es una tautologa. Solucin:

20 [( p q) p ] q 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 (1) (3) (2) (4) (5) En las columnas (1) y (2) se colocan los posibles valores veritativos de las proposiciones p y q. En (3) se coloca la condicional de (1) y (2). En (4) se coloca la conjuncin de (3) y (1). En (5) se coloca la condicional de (4) y (2). Como en (5) hay solamente unos se concluye que la proposicin dada es una tautologa. EJEMPLO 0.62. La proposicin [(p q) noq ] nop es una tautologa. Solucin: [(p q) noq ] nop 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 (1) (3) (2) (5) (4) (7) (6) En las columnas (1) y (2) se colocan los posibles valores veritativos de las proposiciones p y q. En (3) se coloca la condicional de (1) y (2). En (4) se coloca la negacin de (2). En (5) se coloca la conjuncin de (3) y (4). En (6) se coloca la negacin de (1). En (7) se coloca la condicional de (5) y (6). Ya que en la columna (7) se obtienen unos se ve que la proposicin dada es una tautologa. EJEMPLO 0.63. La proposicin [(p q) q] p es una contingencia. Solucin: [(p q) q] p 1 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 (1) (3) (2) (4) (5) En las columnas (1) y (2) se colocan los posibles valores veritativos de las proposiciones p y q. En (3) se coloca la condicional de (1) y (2). En (4) se coloca la conjuncin de (3) y (2) y en (5) se coloca la condicional de (4) y (1). Es una contingencia porque hay ceros y unos. EJEMPLO 0.64. La proposicin [(p q) nop] noq es una contingencia. Solucin: En las columnas (1) y (2) se colocan los posibles valores veritativos de las proposiciones p y q. En (3) se coloca la condicional de (1) y (2). En (4) se coloca la negacin der (1). En (5) se coloca la conjuncin de (3) y (4). En (6) se coloca la negacin de (2) y en (7) se coloca la condicional de (5) y (6). Es una contingencia porque en la columna (7) hay ceros y unos.

21 [(p q) 1 1 1 1 0 0 0 1 1 0 1 0 (1) (3) (2) EJEMPLO 0.65. La proposicin [(p q) nop] q es una tautologa. Solucin: [(p q ) nop] q 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 (1) (3) (2) (5) (4) (6) En (1) y (2) se colocan los posibles valores veritativos de las proposiciones p y q. En (3) se coloca la disyuncin de (1) y (2). En (4) se coloca la negacin de (1). En (5) se coloca la conjuncin de (3) y (4) y en (6) se coloca la condicional de (5) y (2). Es una tautologa porque esa columna est llena de unos. EJEMPLO 0.66. La proposicin p nonop es una tautologa. Solucin Las columnas primera y tercera de la tabla de verdad del ejemplo 0.12 son idnticas. EJEMPLO 0.67. Las proposiciones 1. no(p q) nop noq y 2. no(p q) nop noq son tautologas Solucin: 1. Las ltimas columnas de las tablas de verdad de los ejemplos 0.19 y 0.25 son idnticas. 2. no(p q) nop noq 0 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 1 (4) (1) (3) (2) (8) (5) (7) (6) En (1) y (2) se colocan los posibles valores veritativos de las proposiciones p y q. En (3) se coloca la conjuncin de (1) y (2). En (4) se coloca la negacin de (3). En (5) se coloca la negacin de (1). En (6) se coloca la negacin de (2). En (7) se coloca la disyuncin de (5) y (6) y en (8) se coloca la bicondicional de (4) y (7). Como esta columna est llena de unos la proposicin dada es una tautologa. EJEMPLO 0.68. Las proposiciones Solucin: 1. p p p y 2. p p p son tautologas. nop] noq 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 1 (5) (4) (7) (6)

22 p pp pp 1 1 1 0 0 0 Basta ver en la tabla de verdad anterior que las tres columnas son idnticas. EJEMPLO 0.69. Las proposiciones Solucin : 1. p q q p y 2. p q q p son tautologas.

p q pq qp pq qp 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 La primera bicondicional es una tautologa porque las columnas tercera y cuarta son idnticas. La segunda bicondicional es una tautologa ya que las columnas quinta y sexta son idnticas. EJEMPLO 0.70. Las proposiciones 1. (p q) r p (q r) y 2. (p q) r p (q r) son tautologas. Solucin: p q r p q q r (p q) r p (q r) p q q r (p q) r p (q r) 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) Las columnas (6) y (7) son idnticas lo que demuestra la primera de las bicondicionales dadas. La otra bicondicional se cumple porque las dos ltimas columnas son idnticas. EJEMPLO 0.71. La proposicin (p q) (nop q) es una tautologa. Solucin: Basta ver que las ltimas columnas de las tablas de verdad del ejemplo 0.18 y la definicin 0.11 son idnticas. EJEMPLO 0.72. La proposicin [no(p q)] (p noq) es una tautologa. Solucin:

23 p q no-q p no-q pq no-(pq) 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 Basta ver que las columnas cuarta y sexta son idnticas. EJEMPLO 0.73. Las proposiciones 1. p (q r) (p q) (p r) 2. p (q r) (p q) (p r) son tautologas. Solucin: p q r qr P(qr) pq pr (pq)(pr) qr p(qr) pq pr (pq)(pr) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) Como las columnas (5) y (8) son idnticas se cumple la primera de las bicondicionales. La segunda bicondicional tambin es verdadera porque las columnas (10) y (13) son idnticas. EJEMPLO 0.74. La proposicin (p q) (no-q no-p) es una tautologa. Solucin: (p q) (no-q no-p) 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 (1) (5) (2) (7) (3) (6) (4) En (2) y (2) se colocan los posibles valores veritativos de p y q. En (3) se coloca la negacin de (2). En (4) se coloca la negacin de (1). En (5) se coloca la condicional de (1) y (2). En (6) se coloca la condicional de (3) y (4). En (7) se coloca la bicondicional de (5) y (6). Como esta columna est llena de unos se obtiene una tautologa. EJEMPLO 0.75. La proposicin (p q) [(p q) (q p)] es una tautologa. Solucin: En (1) y (2) se colocan los posibles valores veritativos de p y q. En (3) se coloca la bicondicional de (1) y (2). En (4) se coloca la condicional de (1) y (2). En (5) se coloca la condicional de (2) y (1). En (6) se coloca la conjuncin de (4) y (5) y en (7) se coloca la bicondicional de (3) y (6). Es una tautologa porque en (7) hay solamente unos.

24 (p 1 1 0 0 (1) q) [(p q) (q p)] 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 1 (3) (2) (7) (4) (6) (5)

EJEMPLO 0.76. La proposicin [(p q) r ] [(p r) (q r)] es una tautologa. Solucin: [(p q) r ] [(p r) (q r)] 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 (1) (4) (2) (5) (3) (9) (6) (8) (7) En (1), (2) y (3) se colocan los posibles valores veritativos de p, q y r. En (4) se coloca la disyuncin de (1) y (2). En (5) se coloca la condicional de (4) y (3). En (6) se coloca la condicional de (1) y (3). En (7) se coloca la condicional de (2) y (3). En (8) se coloca la conjuncin de (6) y (7). En (9) se coloca la bicondicional de (5) y (8). Ya que (9) est lleno de unos la proposicin dada es una tautologa. DEFINICIN 0.12. Dos proposiciones se dicen equivalentes si su bicondicional es una tautologa. Si p y q son dos proposiciones equivalentes, entonces se escribir p q y se lee p es equivalente a q o p y q son equivalentes. COMENTARIO 0.31. Sean p y dos proposiciones. Entonces p q significa que la bicondicional p q es una tautologa. Dos proposiciones son equivalentes si y slo si poseen los mismos valores veritativos, es decir, las columnas en sus tablas de verdad son idnticas. Si dos proposiciones son equivalentes, entonces cada una de ellas puede ser sustituida por la otra sin alterar los valores veritativos. EJEMPLO 0.77. p nonop Solucin: Ejemplo 0.66 y definicin 0.12. COMENTARIO 0.32. A la equivalencia anterior se llama Ley de la doble negacin. EJEMPLO 0.78. La proposicin Es falso que Jos no es un poeta es lo mismo que Jos es un poeta.

25 EJEMPLO 0.79. El Dr. Chacn recibi este mensaje de Carmen: Dr. Chacn, le quiero explicar que verdaderamente estaba haciendo un chiste cuando le dije que yo no quera decir lo que dije sobre reconsiderar mi decisin de no cambiar de idea. Cambi o no cambi de idea Carmen? Solucin: Si p = Cambi de idea, entonces Carmen dijo no-no-no-p. Ya que no-p no-no-no-p se sigue no-p. Luego, Carmen cambi de idea. EJEMPLO 0.80. 1. no(p q) nop noq Solucin: 2. no(p q) nop noq

Ejemplo 0.67 y definicin 0.12. COMENTARIO 0.33. La primera de las equivalencias anteriores dice que la negacin de una disyuncin es la conjuncin de las negaciones, y la segunda expresa que la negacin de una conjuncin es la disyuncin de sus negaciones. Estas equivalencias reciben el nombre de Leyes de De Morgan, y nos permitirn hacer las negaciones de disyunciones y conjunciones. EJEMPLO 0.81. Hallar la negacin der cada proposicin 1. Llueve o voy al cine. 2. Llueve y voy al cine. Solucin: Si p = Llueve y q = Voy al cine, entonces las proposiciones dadas son p q y p q. Por las leyes de De Morgan sus negaciones son, respectivamente, nop noq y nop noq. Al traducirse al espaol se obtienen las proposiciones No llueve y no voy al cine y No llueve o no voy al cine. EJEMPLO 0.82. Halla la contrapositiva de la proposicin Si K es cerrado y acotado, entonces K es compacto. Solucin: Si p = K es cerrado, q = K es acotado y r = K es compacto, entonces la proposicin dada se simboliza mediante (p q) r. Su contrapositiva es nor no(p q). Pero, por las leyes de De Morgan esta ltima expresin equivale a nop noq. Por tanto, la contrapositiva se puede escribir en la forma nor nop noq y en espaol significa que Si K no es compacto, entonces K no es cerrado o no es acotado EJEMPLO 0.83. 1. Solucin : pqqp 2. pqqp

Ejemplo 0.69 y definicin 0.12. COMENTARIO 0.34. Las dos equivalencias anteriores se llaman Leyes conmutativas, y nos permiten intercambiar entre s los miembros de disyunciones y conjunciones sin alterar los valores veritativos.

26 EJEMPLO 0.84. 1. Llueve o voy al cine es lo mismo que Voy al cine o llueve. 2. Llueve y voy al cine es lo mismo que Voy al cine y llueve EJEMPLO 0.85. 1. Solucin: (p q) r p (q r) 2. (p q) r p (q r)

Ejemplo 0.70 y definicin 0.12. COMENTARIO 0.35. Estas equivalencias se llaman la Leyes asociativas, y nos permiten efectuar disyunciones y conjunciones con ms de dos proposiciones. Adems, nos indica que las notaciones p q r y p q r no son ambiguas. EJEMPLO 0.86. p q no-p q Solucin: Ejemplo 0.71 y definicin 0.12. COMENTARIO 0.36. Esta condicional permite expresar la condicional mediante una negacin y una disyuncin. EJEMPLO 0.87. La proposicin Si llueve, entonces voy al cine es lo mismo que No llueve o voy al cine EJEMPLO 0.88. Escriba la proposicin El dinero est disponible o no ir de vacaciones en forma condicional. Solucin: Si p = El dinero est disponible y q = Ir de vacaciones, entonces la proposicin dada es p no-q. Por la ley conmutativa de la disyuncin se tiene que la proposicin dada es equivalente a no-q p. Debido al ejemplo 0.86 se obtiene que q p. Por consiguiente, la forma condicional es Si voy de vacaciones, entonces el dinero est disponible. EJEMPLO 0.89. no-(p q) p noq Solucin: Ejemplo 0.72 y definicin 0.12 Otra solucin: no-(p q) no(nop q) nonop noq p noq COMENTARIO 0.37. La equivalencia anterior nos permitir negar las condicionales. La segunda solucin anterior muestra que pueden hacer demostraciones de equivalencias usando otras equivalencias. Ejemplo 0.86 Ley de De Morgan Ley de la doble negacin

27 EJEMPLO 0.90. La negacin de la proposicin Si llueve, entonces voy al cine es Llueve y no voy al cine. EJEMPLO 0.91. 1. p (q r) (p q) (p r) 2. p (q r) (p q) (p r) Solucin: Ejemplo 0.73 y definicin 0.12. COMENTARIO 0.38. Las equivalencias anteriores se llaman Leyes distributivas. La primera de ellas es la ley distributiva de la disyuncin respecto de la conjuncin, y la segunda es la ley distrtibutiva de la conjuncin respecto de la disyuncin. EJEMPLO 0.92. (p q) (noq nop) Solucin: Ejemplo 0.74 y definicin 0.12. COMENTARIO 0.39. Esta equivalencia se llama la Ley contrapositiva, y establece que toda condicional es equivalente a su contrapositiva. EJEMPLO 0.93. Las proposiciones Si llueve, entonces voy al cine y Si no voy al cine, entonces no llueve son equivalentes por la ley contrapositiva. EJEMPLO 0.94. p q [(p q) (q p)] Solucin: Ejemplo 0.75 y definicin 0.12. COMENTARIO 0.40. Esta equivalencia dice que una bicondicional puede sustituirse por la conjuncin de dos condicionales. EJEMPLO 0.95. La proposicin Voy a pasear al parque si y slo mi nieta me acompaa es lo mismo que Si voy al parque, entonces mi nieta me acompaa y si mi nieta me acompaa, entonces voy al parque. EJEMPLO 0.96. (p q) r (p r) (q r) Solucin: Ejemplo 0.76 y definicin 0.12. EJEMPLO 0.97. 1. Solucin : ppp 2. p p p

28 Ejemplo 0.69 y definicin 0.12. EJEMPLO 0.98. (p q) r (p r) (q r) Solucin : (p q) r no(p q) r (nop noq) r (nop noq) (r r) nop (noq r) r nop (r noq) r (nop r) (noq r) (p r) (q r) EJEMPLO 0.99. p (q r) (p noq) r Solucin: p (q r) nop (q r) (nop q) r (nop nonoq) r [ no(p noq)] r (p noq) r EJEMPLO 0.100. ppC Solucin: Ejemplo 0.57 y definicin 0.12. EJEMPLO 0.101. p q (p noq) C Solucin: p q nop q nop nonoq no(p noq) [no(p noq)] C (p noq) C Ejemplo 0.86. Ley de la doble negacin Ley de De Morgan Ejemplo 0.100 Ejemplo 0.86. Ejemplo 0.86. Ley asociativa Ley de la doble negacin Ley de De Morgan Ejemplo 0.86. Ejemplo 0.86. Ley de De Morgan Ejemplo 0.97. Ley asociativa Ley conmutativa Ley asociativa Ejemplo 0.86

DEFINICIN 0.13. Un argumento lgico es un conjunto finito de proposiciones donde la ltima de ellas se llama conclusin , y las restantes se denominan premisas. COMENTARIO 0.41. De ahora en adelante omitiremos el calificativo de lgico cuando se refiera a un argumento. Si p1, p2 , , pn son las premisas de un argumento y q es la conlusin, entonces escribiremos

29 p1 p2 pn q donde la raya separa las premisas de la conclusin. Tambin escribiremos [p1, p2, , pn] q para denotar al argumento. EJEMPLO 0.102. En el argumento Los dinosaurios son carnvoros Los buitres comen carne Los dinosaurios son buitres las premisas son p1 = Los dinosaurios son carnvoros y p2 = Los buitres comen carne, y la conclusin es q = Los dinosaurios son buitres. DEFINICIN 0.14. Diremos que el argumento [p1, p2, , pn] q es vlido si la condicional (p1 p2 pn) q es una tautologa. Se dice que el argumento es invlido o es una falacia si no es vlido. COMENTARIO 0.42. Si se usan las tablas de verdad la validez de un argumento puede tratarse de dos maneras: V1. Verificando que la columna del condicional (p1 p2 pn) q est llena de unos. V2. En toda fila donde p1 = p2 = = pn = 1 se tiene que q = 1. La invalidez de un argumento tambin puede tratarse de dos maneras: F1. La columna de la condicional (p1 p2 pn) q tiene un cero al menos. F2. Existen valores de las proposiciones tales que p1 = p2 = = pn = 1 y q = 0. EJEMPLO 0.103. Los argumentos p (p q) y q (p q) son vlidos Solucin: p q pq p (p q) q (p q) 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 1 En la tabla de verdad anterior se ve que las condicionales p ( p q) y q (p q) son tautologas. COMENTARIO 0.43. Algunos de los argumentos vlidos se usan mucho para demostrar la validez de otros argumentos y, por esta razn, reciben un nombre especial: reglas de inferencia. Las reglas de inferencia dadas en el ejemplo anterior se llaman Leyes de adicin y dicen que a cualquier proposicin se le puede aadir cualquier otra proposicin usando la disyuncin.

30 EJEMPLO 0.104. De la proposicin Alberto es matemtico se deduce la proposicin Alberto es matemtico o Jos es poeta. EJEMPLO 0.105. Los argumentos (p q) p y (p q) q) son vlidos Solucin: p q p q (p q) p (p q) q 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 Se ve en la tabla anterior que las condicionales (p q) q y (p q) q son tautologas. COMENTARIO 0.44. Cada una de las reglas de inferencia anteriores se llama Ley de simplificacin y establece que de una conjuncin puede deducirse cada miembro. EJEMPLO 0.106. De la proposicin Las jirafas tienen el cuello largo y viven en frica se deducen Las jirafas tienen el cuello largo y Las jirafas viven en frica. EJEMPLO 0.107. El argumento p q pq es vlido Solucin: La proposicin p q p q es una tautologa por el ejemplo 0.51. COMENTARIO 0.45. La regla de inferencia anterior se llama Ley de la conjuncin y dice que dos proposiciones cualesquiera pueden adjuntarse por conjuncin. EJEMPLO 0.108. De las proposiciones Los camellos son grandes y Los patos nadan se deduce Los camellos son grandes y los patos nadan. EJEMPLO 0.109. El argumento [p q, p] q es vlido. Solucin: Ejemplo 0.61 y definicin 0.14.

31 COMENTARIO 0.46. Este regla de inferencia era conocido por Aristteles y recibe el nombre de modus ponendo ponens o, simplemente, modus ponens. Este mtodo (modus) afirma (ponens) el consecuente de una condicional afirmando (ponendo) el antecedente. Es decir, el argumento pq p q es vlido EJEMPLO 0.110. El argumento Si llueve, entonces voy al cine Llueve Voy al cine. es vlido por modus ponens. EJEMPLO 0.111. El argumento [p q, no-q] nop es vlido. Solucin: Ejemplo 0.62 y definicin 0.14. COMENTARIO 0.47. Esta regla de inferencia recibe el nombre de modus tollendo tollens o, simplemente, modus tollens. Es el mtodo (modus) que niega (tollens) el antecedente de una condicional negando (tollendo) su consecuente Es decir, el argumento pq noq . nop es vlido EJEMPLO 0.112. El argumento Si llueve, entonces voy al cine. No voy al cine. No llueve es vlido por modus tollens. EJEMPLO 0.113. El argumento [p q, no-p] q es vlido. Solucin: Ejemplo 0.66 y definicin 0.14.

32 COMENTARIO 0.48. Esta regla de inferencia se llama modus tollendo ponens. Es el mtodo (modus) que negando (tollendo) un miembro de una disyuncin afirma (ponens) el otro miembro. Este argumento tambin se llama silogismo disyuntivo. La palabra silogismo significa un argumento con exactamente dos premisas. EJEMPLO 0.114. El argumento Llueve o voy al cine. No llueve Voy al cine. Es vlido por modus tollendo ponens. EJEMPLO 0.115. Si trabajo, no puedo estudiar. Estudio o paso matemtica. Trabajar. Por tanto, paso matemtica. Es vlido este argumento? Solucin: Si p = trabajo, q = estudio y r = paso matemtica, entonces las premisas son P1 = p no-q, P2 = q r y P3 = p, y la conclusin es q = r. p q r P1 P2 nop 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 1 1 0 En la tabla de verdad las premisas son verdaderas solamente en verdadera. Por consiguiente, el argumento es vlido. EJEMPLO 0.116. El argumento [p q, q r] (p r) es vlido. Solucin: [(p 1 1 1 1 0 0 0 0 (1) 1 1 0 0 1 1 1 1 (4) q) 1 1 0 0 1 1 0 0 (2) (q r)] (p r) 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 (6) (5) (3) (8) (7) P3 q 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 la tercera fila y all la conclusin es

33 Este argumento es vlido porque la columna (8) est llena de unos. COMENTARIO 0.49. Esta regla de inferencia se llama silogismo hipottico,.y quiere decir que el argumento pq qr pr es vlido. EJEMPLO 0.117. Si Llueve hoy, entonces no vamos a comer afuera. Si no comemos afuera hoy, entonces saldremos a comer maana. Luego, si llueve hoy, entonces vamos a comer afuera maana. Es vlido este argumento? Solucin: Si p = Llueve hoy, q = No comemos afuera hoy y r = Comeremos afuera maana, entonces nuestro argumento es pq qr pr que es vlido por el silogismo hipottico. EJEMPLO 0.118. El argumento pq p (p q) es vlido Solucin: (p q) [p (p q)] 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 (1) (3) (2) (6) (5) (4) En (1) y (2) se colocan los posibles valores veritativos de p y q. En (3) se coloca la condicional de (1) y (2). En (4) se coloca la conjuncin de (1) y (2). En (5) se coloca la condicional de (1) y (4). En (6) se coloca la condicional de (3) y (5). Ya que en la columna (6) hay solamente unos se obtiene una tautologa. COMENTARIO 0.50. La regla de inferencia anterior se llama la Ley de absorcin. EJEMPLO 0.119. [p q, p r] [ p (q r)]

34 Solucin: [(p q) (p r)] [ p (q r)] 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 (1) (4) (2) (6) (8) (3) (9) (8) (7) En (2), (2) y (3) se colocan los posibles valores veritativos de p, q y r. En (4) se coloca la condicional de (1) y (2). En (5) se coloca la condicional de (1) y (3). En (6) se coloca la conjuncin de (4) y (5). En (7) se coloca la conjuncin de (2) y (3). En (8) se coloca la condicional de (1) y (7) y en (9) se coloca la condcional de (6) y (8). Como esta ltima columna est llena de unos se tiene una tautologa. EJEMPLO 0.120 Los argumentos Solucin: 1. [p q, q] p 2. [p q, nop] noq no son vlidos

Ejemplos 0.63 y 0.64, y la definicin 0.14. COMENTARIO 0.51. El primero de los argumentos invlidos anteriores se llama falacia de afirmar el consecuente, y el segundo se denomina falacia de negar el antecedente. EJEMPLO 0.121. El argumento Si Bolvar fue asesinado, entonces Bolvar muri. Bolvar muri. Bolvar fue asesinado. es invlido por la falacia de afirmar el consecuente. EJEMPLO 0.122. El argumento Si llueve, entonces voy al cine. No llueve. No voy al cine. es invlido por la falacia de negar el antecedente. EJEMPLO 0.123. Si llueve, entonces voy al cine. Voy al cine Es este argumento vlido o no?

35 Solucin: Sea p = llueve y q = Voy al cine. El argumento es pq q Si se hace p = q = 0, entonces la premisa es verdadera y la conclusin es falsa. Por tanto, el argumento es invlido. EJEMPLO 0.124. Es el argumento pq p vlido o no? Solucin: Si se hace p = 0, entonces la premisa es verdadera y la conclusin es falsa. Por tanto, el argumento es invlido. EJEMPLO 0.125. Qu regla de inferencia se us en el siguiente argumento? Si me bao en la piscina, entonces me asoleo. Si me asoleo, me quemo la piel. Por tanto, si me bao en la psicina, entonces me quemo la piel. Solucin: Si p = me bao en la piscina, q = Me asoleo y r = Me quemo la piel, entonces el argumento es pq qr pr Se us el silogismo hipottico. EJEMPLO 0.126. Considrense las proposiciones Si llueve, entonces no voy al cine Voy al cine Qu conclusin se puede obtener si las proposiciones anteriores son las premisas? Solucin: Si p =Llueve y q = Voy al cine, entonces el argumento es (1) p noq (2) q Hemos numerado las premisas para referirnos a ellas con mayor facilidad. Ntese que (2) es la negacin del consecuente de (1). Si se aplica la ley contrapositiva en (1) se obtiene (3) no-no-q nop Al aplicar la ley de la doble negacin en (3) se obtiene que (4) q nop Al comparar (2) y (4) vemos que se puede aplicar modus ponens y se obtiene nop. Por tanto, la conlsucin es No llueve.

36 En resumen, (1) p noq (2) q (3) nonoq no-q Ley contrapositiva en (1) (4) q nop Ley de la doble negacin en 3) (5) no-p Modus ponens en (2) y (4) En las filas (1) y (2) se colocan las premisas dadas. En la fila (3) se us la ley contrapositiva en la condicional (1) que consisti en voltear su antecedente y su consecuente y negarlos. En la fila (4) se plic la doble negacin al antecedente de la condicional en (3). Luego, al comparar (2) y (4) vemos que en la fila (2) aparece el antecedente de la condicional de la fila (4). Modus ponens dice que se obtiene de all su consecuente. La ltima fila es una conclusin y afirma No llueve. Otra solucin: Al notar que (2) es la negacin del consecuente de la condicional en (1) se puede aplicar directamente modus tollens obteniendo la misma conclusin. Es decir, (1) p noq (2) q (3) nop Modus tollens en (1) y (2). COMENTARIO 0.52. Si un argumento tiene muchas variables proposcionales, entonces su tabla de verdad tendr muchas filas y su manejo se hace casi imposible. Cmo se puede saber si cierto argumento es vlido sin tener que recurrir a las tablas de verdad? La respuesta se halla emulando el ejemplo anterior. Se colocan las premisas y, mediante reglas de inferencia, se van obteniendo proposiciones equivalentes hasta que una de ellas coincida con la conclusin deseada. Este proceso se llama derivacin del argumento. Un argumento se dice derivable si existe una derivacin de l. Si no se puede hallar una derivacin para un argumento, ello puede ser debido a que no existe tal derivacin o a que no somos capaces de hallarla porque no conocemos las adecuadas reglas de inferencia. Sin embargo, en este caso puede empezar a sospecharse que no existe tal derivacin. Podemos entonces dar valores veritativos adecuados a las proposiciones que componen el argumento. Si las premisas son verdaderas y la conlusin es falsa, entonces podemos afirmar que dicho argumento es invlido. Es posible demostrar, aunque no tan fcilmente, que un argumento es vlido siempre y cuando dicho argumento sea derivable. En consecuencia, para que un argumento sea vlido bastar hallarle una derivacin. EJEMPLO 0.127. Halle una derivacin para el argumento dado en el ejemplo 0.115. Solucin: (1) p noq (2) qr (3) p Conclusin = r (4) no-q Modus ponens en (1) y (3) (5) r Modus tollendo ponens en (4) y (2) Se termina en la fila (5) con r porque esa es la conclusin deseada.

37 EJEMPLO 0.128. Halle una derivacin si de las premisas Jorge trabaja duro, Si Jorge trabaja duro, entonces es sordo, Si Jorge es sordo, no consigue trabajo se concluye Jorge no consigue trabajo. Solucin: Sean p = Jorge trabaja duro, q = Jorge es sordo y r = Jorge consigue trabajo. Las premisas son p, p q y q nor, y la conclusin es nor. Una derivacin es: (1) p (2) pq (3) q nor (4) q Modus ponens en (1) y (2) (5) nor Modus ponens en (4) y (3) EJEMPLO 0.129. Si compramos un terreno, entonces construimos una casa. Si compramos un terreno y construimos una casa, entonces compramos muebles. Si construimos una casa y compramos muebles, compramos una lavadora. Por lo tanto, si compramos un terreno, entonces compramos una lavadora. Es este argumento vlido? Solucin: Si p = Compramos un terreno, q = Construimos una casa, r = Compramos muebles y s = Compramos una lavadora, entonces las premisas son p q, p q r y q r s, y la conclusin es p s. Una derivacin es (1) pq (2) pqr (3) qrs (4) ppq Ley de absorcin en (1) (5) pr Silogismo hipottico en (4) y (2) (6) pqr Ley de absorcin en (5) (7) ps Silogismo hipottico en (6) y (5) Como se obtuvo una derivacin se concluye que el argumento dado es vlido. EJEMPLO 0.130. Si Jos es primo de Daro, entonces su edad es mltiplo de 3. Si la edad de Jos es mltiplo de 3, entonces el nmero 17 es mltiplo de 3. Pero, el nmero 17 no es mltiplo de 3. Si Luis es primo de Daro, entonces vive entre Maracaibo y la Concepcin. Si Luis vive en Maracaibo, entonces no vive entre Maracaibo y La Concepcin. Luis vive en Maracaibo. Si Jos no es primo de Daro, entonces o Luis o Alberto es primo de Daro. Por tanto, Alberto es primo de Daro Es este argumento vlido? Solucin: Sean p = Jos es primo de Daro, q = La edad de Jos es mltiplo de 3, r = El nmero 17 es mltiplo de 3, s = Luis es primo de Daro, t = Luis vive entre Maracaibo y La Concepcin, u = Luis vive en Maracaibo y w = Alberto es primo de Daro. De acuerdo a lo escrito se tiene (1) pq (2) qr (3) no-r (4) st (5) u not (6) u

38 (7) nop (s u) (8) not Modus ponens en (5) y (6) (9) nos Modus tollens en (8) y (4) (10) noq Modus tollens en (2) y (3) (11) nop Modus tollens en (10) y (1) (12) s w Modus ponens en (1) y (7) (13) w Modus tollendo ponens en (12) y (9) En consecuencia el argumento dado es vlido. Otra derivacin es: (1) pq (2) qr (3) nor (4) st (5) u not (6) u (7) nop (s u) (8) pr Silogismo hipottico en (1) y (2) (9) nop Modus tollens en (8) y (3) (10) s w Modus ponens en (9) y (7) (11) not Modus ponens en (5) y (6) (12) nos Modus tollens en (4) y (11) (13) w Modus tollendo ponens en (12) y (10) EJEMPLO 0.131. p (q r) q (s t) tu no(u s) nop Es este argumento vlido? Solucin: No fuimos capaces de hallar una derivacin y empezamos a sospechar que ese argumento es invlido. Si se hace p = r = 1 y q = s = t = u = 0, entonces las premisas son verdaderas y la conclusin es falsa. Luego, el argumento es invlido. EJEMPLO 0.132. Si Omar es alto o eficiente, entonces no tendr dinero. Si Omar tiene un traje verde, entonces tednr dinero. Omar es alto. Por consiguiente, Omar no tiene un traje verde Es este argumento vlido? Solucin: Sean p = Omar es alto, q = Omar es eficiente, r = Omar tendr dinero y s = Omar tiene un traje verde. Entonces las premisas son (p q) nor, s r y p, y la conclusin es nos. Una derivacin es (1) (p q) nor (2) sr

39 (3) p (4) pq (5) nor (6) nos El argumento es vlido.

Ley de adicin en (3) Modus ponens en (1) y (4) Modus tollendo en (5) y (2)

EJEMPLO 0.133. Halle una derivacin para el argumento Si el cajero o el contador hubieran apretado el botn de alarma, la bveda se habra cerrado automticamente y la polica habra llegado en tres minutos. Si la polica hubiera llegado en tres minutos, habra podido alcanzar el automvil de los ladrones. Pero, no pudo alcanzar el automvil de los ladrones. Luego, el cajero no apret el boton de alarma Solucin: Sean p = El cajero aprieta el botn de alarma q = El contador aprieta el botn de alarma r = La bveda se cierra automticamente s = La polica llega en tres minutos t = La polica alcanza el automvil de los ladrones Una derivacin es: (1) (p q) ( r s) (2) st (3) no-t (4) nos Modus tollendo en (3) y (2) (5) nos nor Ley de adicin en (4) (6) no(s r) Ley de De Morgan en (5) (7) no(r s) Ley conmutativa en (6) (8) no(p q) Modus tollens en (7) y (1) (9) nop noq Ley de De Morgan (10) nop Ley de simplificacin en (9) En consecuencia, el argumento es vlido. EJEMPLO 0.134. Halle una conclusin usando todas las proposiciones dads como premisas: (1) Si Amelia va al colegio, entonces consigue trabajo. (2) Si Amelia consigue trabajo, entonces gana mucho dinero. (3) Si Amelia no paga impuestos, entonces no gana mucho dinero. (4) Amelia va al colegio. Solucin: Una derivacin verbal es (5) Si Amelia va al colegio, entonces gana mucho dinero Silogismo hipottico en (1) y (2) (6) Si Amelia gana mucho dinero, entonces paga impuestos Ley contrapositiva en (3) (7) Si Amelia va al colegio, entonces paga impuestos Silogismo hipottico en (5) y (6) (8) Amelia paga impuestos Modus ponens en (4) y (7) Una conclusin es Amelia paga impuestos.

40 EJEMPLO 0.135. Considrese el argumento Yanet no juega barajas o Eligio juega domin. Si Marbellis no juega monopolio, entonces Eligio no juega domin. Yanet juega barajas y Yanet no juega monopolio. Por consiguiente, Rosanna juega ajedrez. Si p = Yanet juega barajas, q = Eligio juega domin, r = Marbellis juega monopolio y s = Rosanna juega ajedrez, entonces las premisas son nop q, nor noq y p nor, y la conclusin es s. Una derivacin es: (1) nop q (2) no-r noq (3) p nor (4) p Ley de simplificacin en (3) (5) ps Ley de adicin en (4) (6) nor Ley de simplificacin en (3) (7) noq Modus ponens en (6) y (2) (8) nop Modus tollendo ponens en (7) y (1) (9) s Modus tollendo ponens en (8) y (5) Otra derivacin es: (4) p Ley de simplificacin en (3) (5) p nos Ley de adicin en (4) (6) nor Ley de simplificacin en (3) (7) noq Modus ponens en (6) y (2) (8) nop Modus tollendo ponens en (7) y (1) (9) nos Modus tollendo ponens en (8) y (5) Cmo se pueden deducir una proposicin y su negacin de las mismas premisas? Solucin: En el ejemplo 0.54 vimos que de una contradiccin se puede deducir cualquier proposicin. Lo que ocurre en este ejemplo es que la conjuncin de las premisas es una contradiccin. COMENTARIO 0.53. Con mucha frecuencia aparecen en matemtica oraciones que involucran variables. Por ejemplo, x es un nmero primo. Esta oracin no es una proposicin ya que no es posible determinar si es verdadera o es falsa debido a que no se especifica el valor de la variable x. Sin embargo, al cambiar x por un entero se obtiene una proposicin. As, 2 es un nmero primo es una proposicin verdadera, mientras que 4 es un nmero primo es una proposicin falsa. Una oracin como la anterior que involucre variables se llama forma proposicional. Usaremos la notacin p(x), p(x,y) y p(x,y,z) para denotar formas proposicionales de variables x, x e y y x, y y z. En general, una forma proposicional se denotar mediante p(x1, x2 , , xn) donde x1, x2, , xn son las n variables. Si a es el valor de la variable x en una forma proposicional p(x), entonces p(a), que se lee pe de a, denotar la proposicin que se obtiene al colocar el valor a en cada aparicin de la variables. EJEMPLO 0.136. Sea p(x) = x < 2. Entonces p(1) es la proposicin que se obtiene al colocar 1 en vez de x, es decir, p(1) = 1 < 2 que es una proposicin verdadera. Por otro lado, p(2) es la proposicin que resulta al colocar 2 en vez de x, o sea, p(2) = 2 < 2 que es una proposicin falsa.

41 EJEMPLO 0.137. Sea p(x,y) = x + 1 = y. Cules son los valores veritativos de las proposiciones p(0,1) y p(1,1)? Solucin: Para obtener la proposicin p(0,1) se colocan x = 0 e y = 1 en p(x,y). Luego, p(0,1) = 0 + 1 = 1 que es una proposicin verdadera. Para obtener p(1,1) se colocan x = y = 1 en p(x,y). Luego, p(1,1) = 1 + 1 = 1 que es una proposicin falsa. Por ende, p(0,1) = 1 y p(1,1) = 0. EJEMPLO 0.138. Sea q(x,y,z) = x + y + z > 0. Halle los valores veritativos de las proposiciones q(1,0,1) y q(2,0,1) Solucin: La proposicin q(1,0,1) se obtiene colocando x = 1, y = 0 y z = 1 en q(x,y,z). Luego, q(1,0,1) es la proposicin verdadera 1 + 0 + 1 > 0. Para obtener q(2,0,1) se hacen x = 2, y = 0 y z = 1 en q(x,y,z). Luego, q(2,0,1) = 2 + 0 + 1 > 0 que es falsa. As, q(1,0,1) = 1 y q(2,0,1) = 0. EJEMPLO 0.139. Sea C(x,y) la forma proposicional x es la capital del Estado y donde x representa una ciudad e y representa un estado. Entonces C(Maracaibo, Zulia) es la proposicin verdadera Maracaibo es la capital del Estado Zulia, mientras que C(Valera, Trujillo) es la proposicin falsa Valera es la capital del Estado Trujillo. EJEMPLO 0.140. La oracin Luisa y Enrique son novios no es una conjuncin porque el vocablo y no enlaza dos proposiciones. Escrbase N(x,y) para denotar que x e y son novios donde x e y son personas. Luego, la proposicin dada arriba se denota mediante N(Luisa, Enrique). DEFINICIN 0.15. Sea p(x) una forma proposicional de variable x. Una valor a de x se llama solucin de p(x) si la proposicin p(a) es verdadera. El conjunto de todas las soluciones de una forma proposicional se llama su conjunto solucin. EJEMPLO 0.141. Considrense las formas proposicionales 1. x2 + 2x 8 = 0 2. x3>7 donde el rango de ambas variables es Z. El conjunto solucin de la primera de ellas es -4, 2, y el conjunto solucin de la segunda es 11, 12, 13, 14, . Se ve de inmediato que ningn entero es solucin comn a ambas formas proposicionales. COMENTARIO 0.54. Sea p(x) una forma proposicional y sea U el rango de x. Si P es el conjunto solucin de p(x), entonces P es un subconjunto de U. Si P es un conjunto no vaco, entonces existe un elemento a en P tal que p(a) es verdadera. Como P es un subconjunto de U se sigue que ese elemento a est en U. Por tanto, Existe un elemento x en el rango tal que p(x) es verdadera es una proposicin verdadera. Esta proposicin se denota mediante x p(x). A veces se escribe (xU) p(x) para enfatizar el rango U. El smbolo se llama cuantificador existencial.

42 Hay varias maneras en espaol de escribir la proposicin (xU) p(a), como por ejemplo, Para algunos valores de x en U, p(x) es verdadera. Es el caso que p(x) es verdadera para algn x en U. Existe un x en U tal que p(x) se cumple. Existe algn x en U tal que p(x) se cumple. Existe al menos un x en U tal que p(x) se cumpla. O simplemente, Existe un x tal que p(x) Existe al menos un x tal que p(x) Para algn x p(x) Supngase que P y U coinciden. Si a es un elemento de U, entonces a est en P y resulta que p(a) es una proposicin verdadera. Por tanto, Para todo elemento x del rango p(x) es verdadera es una proposicin verdadera. Esta proposicin se denota mediante x p(x). A veces se escribe (xU) p(x) para enfatizar el rango U. El smbolo se llama cuantificador universal. Hay varias maneras de escribir en espaol la proposicin (xU) p(a), como por ejemplo, Para todos los valores de x en U tenemos que p(x) es verdadera. Para cada x en U, la oracin p(x) es verdadera. La oracin p(x) es verdadera para todo x en U. Todos los valores de x en U satisfacen a p(x) O simplemente, Para todo x p(x) Para cada x p(x) DEFINICIN 0.16. Sea p(x) una forma proposicional. La cuantificacin universal de p(x) es la proposicin Para todos los valores x del rango p(x) es verdadera. La cuantificacin existencial de p(x) es la proposicin Existe un valor x en el rango tal que p(x) es verdadera. EJEMPLO 0.142. Sea p(x) = x2 = x donde el rango es Z Halle los valores veritativos de las proposiciones x p(x) y x p(x) . Solucin: La proposicin x p(x) dice que la igualdad x2 = x debe ser cierta para todo entero x. Como p(2) = 4 = 2 es una proposicin falsa se tendr que x p(x) es falsa y su valor veritativo es 0. La proposicin x p(x) dice que la igualdad x2 = x debe ser cierta para algn entero x. Esto es cierto ya que 02 = 0 es una proposicin verdadera. As, la proposicin x p(x) es verdadera y su valor veritativo es 1. COMENTARIO 0.55. Para demostrar que una proposicin de la formax p(x) es falsa bastar hallar un elemento a del rango tal que p(a) es falsa. Este ejemplo a se llama un contraejemplo.

43 Para demostrar que una proposicin de la forma x p(x) es verdadera bastar hallar un elemento a del rango tal que p(a) es verdadera.. EJEMPLO 0.143. Halle un contraejemplo para la proposicin Para cada nmero real x, si x2 > 4, entonces x > 2. Solucin: Sea a = 3. Entonces (3)2 > 4 es verdadera pero 3 > 2 es falsa. EJEMPLO 0.144. Sea p(x) = x = x + 2 donde el rango es Z. Halle los valores veritativos de las proposiciones x p(x) y x p(x). Solucin: Ya que la proposicin p(0) = 0 = 0 + 2 es falsa se tiene que x = 0 es un contraejemplo y se ve que x p(x) es falsa. Por otro lado, p(x) es falsa para todo entero porque ningn entero es igual al l ms dos. Por ende, x p(x) tambin es falsa. Por consiguiente, 0 es el valor veritativo de ambas proposiciones EJEMPLO 0.145. Exprese la forma lgica de la proposicin Todo nmero real al cuadrado es un nmero real no negativo Solucin: La proposicin dada puede escribirse como la condicional Si x es un nmero real, entonces x2 0. En smbolos se puede escribir que x (x x2 0). Esto tambin puede escribirse en la forma (x)(x2 0) EJEMPLO 0.146. Sea U = a1, a2, , an el rango de la variable x de la forma proposicional p(x). 1. La proposicin x p(x) es verdadera si y slo si la proposicin p(a1) p(a2) p(an) es verdadera. 2. La proposicin x p(x) es verdadera si y slo si la proposicin p(a1) p(a2) p(an) es verdadera. Solucin: 1. La proposicin x p(x) es verdadera si y slo si p(x) es verdadera para todo x en U si y slo si las proposiciones p(a1), p(a2), y p(an) son verdaderas si y slo si p(a1) p(a2) p(an) es verdadera. 2. La proposicin x p(x) es verdadera si y slo si existe un elemento aj en U tal que p(aj) es verdadera si y slo si p(a1) p(a2) p(an) es verdadera. EJEMPLO 0.147. Halle los valores veritativos de las proposiciones x p(x) y x p(x) si p(x) = x2 < 100 y el rango es el conjunto de los entre enteros entre 5 y 10 inclusive. Solucin:

44 De acuerdo con el ejemplo anterior la proposicin x p(x) es verdadera si y slo si p(5) p(6) p(7) p(8) p(9) p(10) es verdadera. Como p(10) es falsa se tendr que x p(x) es falsa y su valor veritativo es 0. La proposicin x p(x) es verdadera si y slo si p(5) p(6) p(7) p(8) p(9) p(10) es verdadera. Ya que p(5) es verdadera se tiene que x p(x) es verdadera, y su valor veritativo es 1. EJEMPLO 0.148. Sea p(x) = x estudia diariamente donde el rango es el conjunto de los estudiantes. Exprese en espaol cada una de las proposiciones dadas (a) x p(x) (b) x p(x) (c) x nop(x) (d) x nop(x) Solucin: (a) Existe un alumno que estudia diariamente (b) Todos los alumnos estudian diariamente (c) Existe un alumno que no estudia diariamente (d) Todos los alumnos no estudian diariamente, es decir, Ningn alumno estudia diariamente EJEMPLO 0.149. Charles Lutwidge Dodgson (1832-1898) es el autor de Alicia en el pas de las maravillas, que escribi bajo el seudnimo de Lewis Carroll. Tambin escribi varios libros de lgica y de ellos se han tomado las siguientes proposiciones A. Todos los leones son fieras B. Algunos leones no toman caf C. Algunas fieras no toman caf Si p(x) = x es un len, q(x) = x es una fiera y r(x) = x toma caf, y suponiendo que el rango es el conjunto de los animales, exprese las proposiciones anteriores usando cuantificadores. Solucin: La proposicin A puede escribirse en la forma Si x es un len, entonces x es una fiera. Por tanto, A. x [ p(x) q(x)] La condicional p(x) no-r(x) dice que todo len no toma caf. Por ende, debe escribirse B x [ p(x) nor(x)] De manera anloga se tiene que C x [ q(x) nor(x)] Ntese que x x [ p(x) nor(x)] significa Existe un animal tal que si es un len, entonces no toma caf y eso no es lo que dice en B. EJEMPLO 0.150. Si C(x) = x es un centauro y B(x) = x es bello, entonces la proposicin x [ C(x) B(x)] significa que Existe algn ser tal que si ese ser es un centauro, entonces es bello, mientras que la proposicin x [ p(x) q(x)] significa Hay un centauro bello. COMENTARIO 0.56. En general podemos decir que los cuantificadores universales involucran condicionales mientras que los cuantificadores existenciales involucran conjunciones. EJEMPLO 0.151. Halle la forma lgica de la proposicin Toda mujer tiene un hijo varn Solucin:

45 Esta proposicin puede parafrasearse as Para cada mujer x existe un varn y tal que y es hijo de x. Si H(x,y) = y es hijo de x, entonces nuestra proposicin puede escribirse en la forma x y H(x,y). COMENTARIO 0.57. Cuando una proposicin contiene varios cuantificadores es difcil averiguar su valor veritativo. Es mejor en estos casos ir viendo un cuantificador a la vez. EJEMPLO 0.152. Considrese la proposicin x y (x + y = 0) donde el rango de ambas variables es . La proposicin dada significa que para cada nmero real x, la oracin y (x + y = 0) es verdadera. Por ejemplo, si x = 5, entonces 5 + y = 0 y existe y = 5. En general, para cada x existe y = x y x + y = 0. Luego, x y (x + y = 0) es una proposicin verdadera. Por otro lado, considrese la proposicin y x (x + y = 0). Dice que existe un nmero real y tal que la oracin x (x + y = 0) es verdadera. Pero, si y = 5, entonces x (x + 5 = 0) y esta proposicin no es verdadera para todo nmero real. Luego, y x (x + y = 0) es falsa. EJEMPLO 0.153. Halle la forma lgica de la proposicin Nadie es perfecto Solucin: Se puede escribir No existe alguien que sea perfecto. Si p(x) = x es perfecto, entonces se es posible escribir no-[x p(x)]. Tambin se hubiese podido escribir Todo el mundo deja de ser perfecto y se escribir x [nop(x)]. Ntese que x [nop(x)] [x p(x)]. EJEMPLO 0.156. Halle la negacin de x p(x) Solucin: Para demostrar que x p(x) es falsa bastar hallar un contraejemplo, es decir, hallar un a en el rango tal que p(a) es falsa. O sea, nop(a) es verdadera y se puede escribir x [nop(x)] EJEMPLO 0.157. La negacin de Todos los enteros son pares es Existe un entero impar. EJEMPLO 0.158. Halle la negacin de x p(x) Solucin: La proposicin dada es falsa si p(x) es falsa para todos los x, o sea, nop(x) es verdadera para todo x en el rango. Luego, su negacin es x [nop(x)]. EJEMPLO 0.159. La negacin de Existe un nmero impar es Todo nmero es par. EJEMPLO 0.160. Escriba la negacin de Jun es amigo de todo enemigo de Daro. Solucin:

46 La proposicin dada es Si una persona no es amiga de Daro, entonces Juan es amigo de esa persona, o sea, x (x no es amiga de Daro Juan es amigo de x). Si se escribe A(x,y) = x es amiga de y donde x e y son personas, entonces se escribe x [noA(x,Daro) A(Juan,x)]. Su negacin ser x no[noA(x,Daro) A(Juan,x)], es decir, x [noA(x,Daro) noA(Juan,x)]. En espaol significa Hay una persona que es enemiga de Daro y de Juan. EJEMPLO 0.161. La propiedad asociativa de la suma de nmeros reales puede simbolizarse mediante x y z [(x + y) + z = x + (y + z)] Su negacin ser x y z [(x + y) + z x + (y + z)] DEFINICIN 0.17. La proposicin Existe un nico x tal que p(x) es verdadera se simboliza mediante !x p(x). El smbolo ! se lee existe un nico. EJEMPLO 0.162. Halle los valores veritativos de las proposiciones dadas si el rango es Z. (a) !x (x2 = 1) (b) !x (x + 3 = 2x) (c) !x (x = x + 1) Solucin: (a) Como (1)2 = 11 = 1 hay ms de un valor de x que cumpla la igualdad. Por tanto, el valor veritativo es 0. (b) Esta ecuacin tiene la nica solucin x = 3, Luego, su valor veritativo es 1. (c) No existen enteros que sean iguales a su siguiente. Por ende, el valor veritativo es 0. EJEMPLO 0.163. Sern verdaderas las siguientes proposiciones? A. !x p(x) x p(x) B. x p(x) !x p(x) Solucin : A. La proposicin es verdadera pues si existe un nico elemento que cumple p(x) ya existe al menos uno que lo haga. B. Si el rango tiene un solo elemento, entonces ambas proposiciones coinciden y la condicional es verdadera. En caso de ms de un elemento puede no ser cierta. EJEMPLO 0.164. Si el rango es el conjunto de los enteros no negativos, halle el significado de cada una de las siguientes proposiciones: 1. x y (x < y) 2. y x (x < y) 3. x y (x < y) 4. y x (x < y) 5. x y (x < y) 6. x y (x < y)

47 Solucin. 1. Para cada entero no negativo x, existe un entero no negativo mayor que l. Esta proposicin es verdadera porque bastar tomar y = x + 1. 2. Existe un entero no negativo y tal que todos los enteros no negativos son menores que l. Evidentemente esto no es cierto al no ser verdad que y < y. 3. Existe un entero no negativo x tal que todos los enteros no negativos son mayores que l. Esto no es cierto debido a que x < x no es verdad. 4. Dado cualquier entero no negativo y existe un entero no negativo menor que l. Eso es falso para y = 0. 5. Existen enteros no negativos donde uno es menor que el otro. Esto es verdadero. 6. Dados dos enteros no negativos cualesquiera x e y se tiene que x es menor que y. Esto es falso ya que para x = y = 1 no se cumple. EJEMPLO 0.165. Halle la forma lgica de x es bgamo Solucin: Un bgamo es un hombre casado con dos mujeres distintas. Si C(x,y) = x es casado con y, entonces se puede escribir y z [C(x,y) C(x,z) y z]. EJEMPLO 0.166. Sea A(x,y) = x ama a y donde x e y son seres humanos. Use cuantificadores para describir cada proposicin. 1. Todo el mundo ama a Madona. 2. Todo el mundo ama a alguien. 3. Existe alguien a quin todo el mundo ama. 4. Nadie ama a todo el mundo. 5. Existe alguien a quin Ingrid no ama. 6. Existe alguien a quien nadie ama. 7. Existe una nica persona a quin todo el mundo ama. 8. Existe una nica persdona a quin Laura ama. 9. Todo el mundo se ama a s mismo. 10. Existe alguien que no ama a nadie excepto a s mismo. Solucin: En A(x,y) la variable x es para los amantes y la variable y para los amados. 1. x A(x, Madona) 2. Alguna persona es amada por todos, es decir, x y A(x,y) 3. Un amado le sirve a todos los amantes, o sea, x y A(x,y) 4. Dado cualquier amante x es posible hallar una persona y a quin ella no ame. Por tanto, se tiene que x y [nop(x)]. 5. y [noA(Ingrid,x)] 6. Existe una persona tal que todo el mundo deja de amarlo. O sea, x y [noA(x,y)] 7. !x y A(x,y) 8. !y A(Laura,y) 9. x A(x,y) 10. x y [A(x,y) x = y ]

48 COMENTARIO 0.58. Considrese el argumento Todos los seres humanos son mortales. Scrates es un ser humano. Scrates es mortal. Si ese argumento se simboliza mediante p q r entonces de p y q no puede deducirse r usando las derivaciones estudiadas hasta ahora. Debido a que en las proposiciones anteriores aparecen cuantificadores podemos penasr en las formas proposicionales. Si se escribe H(x) = x es humano, M(x) = x es mortal y s = Scrates, entonces el argumento dado puede escribirse en la forma x [ H(x) M(x)] H(s) M(s) Cmo se puede verificar la validez de este argumento? Damos a continuacin cuatro reglas de inferencia que pueden usarse cuando las proposiciones contengan cuantificadores. PU REGLA DE PARTICULARIZACIN UNIVERSAL x p(x) p(a) donde a es cualquier elemento del rango. GU REGLA DE GENERALIZACIN UNIVERSAL. p(a) x p(x) donde a es un elemento arbitrario del rango. PE REGLA DE PARTICULARIZACIN UNIVERSAL. x p(x) p(a) donde a es un elemento del conjunto solucin de p(x). GE REGLA DE GENERALIZACION EXISTENCIAL p(a) x p(x)

49 En la regla PU se dice que en una cuantificacin universal la variable puede sustituirse por cualquier valor del rango. La regla GU nos permite hacer demostraciones generales a partir de un elemento arbitrario del rango. Es necesario advertir que se debe partir de un elemento cualquiera, y no de un elemento en particular. En la regla PE se afirma que en una cuantificacin existencial la variable puede sustituirse por un elemento cualquiera del conjunto solucin, y no del rango. Sin embargo, el smbolo usado para ese valor no tiene otro significado en el argumento, es decir, si en un argumento hay varios cuantificadores existenciales los valores asignados a las variables deben ser representados por smbolos distintos. En la regla GE se asegura que de cualquier ejemplo se deduce la cuantificacin existencial. EJEMPLO 0.167. Halle una derivacin para el argumento dado al inicio del comentario anterior. Solucin: (1) x [ H(x) M(x)] (2) H(s) (3) H(s) M(s) Regla PU en (1) (4) M(s) Modus ponens en (2) y (3) La regla de particularizacin universal nos permite cambiar la variable x por cualquier valor del rango. Como s es un valor que aparece en (2), al usar en (1) ese mismo smbolo nos permitir usar modus ponens. La fila (4) dice Scrates es mortal y el argumento es vlido. EJEMPLO 0.168. Todos los serviles son repugnantes. Algunos profesores son serviles. Algunos profesores son repugnantes. Es este argumento es vlido? Solucin: Sean S(x) = x es servil, R(x) = x es repugnante y P(x) = x es profesor. Entonces se tiene que (1) x [ S(x) R(x)] (2) x [P(x) S(x)] (3) P(a) S(a) Regla PE en (2) (4) S(a) R(a) Regla PU en (1) (5) S(a) Ley de simplificacin en (3) (6) R(a) Modus ponens en (5) y (4) (7) P(a) Ley de simplificacin en (3) (8) P(a) R(a) Ley de conjuncin en (6) y (7) (9) x [P(x) R(x)] Regla GE en (8) Esta ltima proposicin es Algunos profesores son repugnantes. Luego, el argumento es vlido. EJEMPLO 0.169. Ningn jugador es feliz Algunos idealistas son felices Algunos idealistas no son jugadores. Es vlido este argumento?

50 Solucin: Si J(x) = x es jugador, F(x) = x es feliz e I(x) = x es idealista, entonces el argumento es x [J(x) noF(x)] x [I(x) F(x)] x [I(x) noJ(x)] Una derivacin es: (1) x [J(x) noF(x)] (2) x [I(x) F(x)] (3) I(a) F(a) (4) J(a) noF(a) (5) F(a) (6) noJ(a) (7) I(a) (8) I(a) noJ(a) (9) x [I(x) noJ(x)] Por consiguiente, el argumento es vlido. EJEMPLO 0.170. Algunos polticos son lderes. Algunos lderes no son oradores Algunos oradores no son polticos. Es este argumento vlido? Solucin: Si P(x) = x es poltico, L(x) = x es lder y O(x) = x es orador, entonces el argumento es x [P(x) L(x)] x [L(x) noO(x)] x [O(x) noP(x)] Si se aplica la regla PE en la primera premisa se obtiene P(a) L(a) para algn a. Si aplicamos la regla PE a la segunda premisa se debe escribir L(b) noO(b) ya que los ejemplos a y b no tienen que ser iguales. Debido a esto no pudimos hallar una derivacin para ese argumento, y empezamos a sospechar que el argumento no es vlido. Supngase que el rango es un conjunto con un solo elemento, es decir, U = a. Entonces el argumento se convierte en P(a) L(a) L(a) noO(a) O(a) noP(a) Si se hace P(a) = L(a) = 1 y O(a) = 0, entonces las premisas son verdaderas y la conclusin es falsa. Hemos visto que el argumento original es invlido para un modelo con un nico elemento. Por consiguiente, el argumento dado es invlido.

Regla PE en (2) Regla PU en (1) Ley de simplificacin en (3) Modus tollens en (5) y (4) Ley de simplificacin en (3) Ley de conjuncin en (6) y (7) Regla GE en (8)

51 EJEMPLO 0.171. Considrese el argumento x [P(x) Q(x)] x M(x) x [M(x) Q(x)] Supngase que el rango tiene exactamente dos elementos distintos a y b. Entonces el argumento se convierte en [P(a) Q(a)] [P(b) Q(b)] M(a) M(b) [M(a) Q(a)] [M(b) Q(b)] Si P(a) = Q(a) = M(b) = 1 y M(a) = Q(b) = 0, entonces las premisas son verdaderas y la conclusin es falsa. Luego, el argumento es invlido. Sin embargo, considrese la siguiente derivacin: (1) x [P(x) Q(x)] (2) x M(x) (3) P(a) Q(a) Regla PE en (1) (4) Q(a) Ley de simplificacin en (3) (5) M(a) Regla PE en (2) (6) M(a) Q(a) Ley de adjuncin en (4) y (5) (7) x [M(x) Q(x)] Regla GE en (6) Dnde est el error en esta derivacin? Solucin: Como se coloc a en (3) no puede colocarse a de nuevo en (5). COMENTARIO 0.59. Con los procedimientos lgicos que hemos estudiado hasta ahora pueden darse respuestas a muchos acertijos. EJEMPLO 0.172. Se dan las siguientes premisas A. Los perros que tiene las orejas largas tiene la cola corta. B. Los perros que persiguen a los conejos nunca les da rabia. C. Los perros que no persiguen a los conejos tiene la cola larga. D. Tarzn muri de rabia. Cmo tena las orejas Tarzn? Solucin: Sean O(x) = x tiene las orejas largas, C(x) = x tiene la cola corta, P(x) = x persigue a los conejos, R(x) = x tiene rabia y t = Tarzn donde el rango es el conjunto de los perros. Entonces (A) x [O(x) C(x)] (B) x [P(x) noR(x)] (C) x [no-P(x) noC(x)] (D) R(t) (1) O(t) C(t) Regla PU en (A) (2) P(t) noR(t) Regla PU en (B) (3) no-P(t) noC(t) Regla PU en (C)

52 (4) noP(t) Modus tollens en (D) y (2) (5) noC(t) Modus ponens en (4) y (3) (6) noO(t) Modus tollens en (5) y (1) La ltima fila dice Tarzn no tiene las orejas largas. Luego, la respuesta es Tarzn tiene las orejas cortas EJEMPLO 0.173. Alberto, Carlos y Daro juegan la primera, segunda y tercera bases, aunque quizs no en ese orden. Si Daro juega la segunda, entonces Carlos juega la tercera. Si Daro juega la tercera, Carlos juega la primera. Si Carlos no juega la segunda, Alberto juega la tercera. Si Alberto juega la primera, Daro juega la tercera. Qu posicin juega cada una de esas personas.? Solucin: Para simplificar nuestro estudio usaremos la siguiente notacin: A por Alberto, C por Carlos, D por Daro, I por primera base, II por segunda base y III por la tercera base. Una letra mayscula seguida por un nmero romano indicar que esa persona juega en esa base. Por ejemplo, DII indica que Daro juega en la segunda base y CnoII significa que Carlos no juega segunda base. Nuestras hiptesis son: (H1) DII CIII (H2) DIII CI (H3) CnoII AIII (H4) AI DIII En la tabla que sigue hemos colocado las seis posiblidades de que cada persona juegue una base. 1 2 3 4 5 6 A I I II II III III C II III I III I II D III II III I II I La primera posiblidad establece que AI, BII y CIII son verdaderas. La hiptesis (H2) es falsa puesto que su antecedente DIII es verdadero y su consecuente CI es falso. Por ende, esta posiblidad se rechaza. La segunda posibilidad es AI, CIII y DII son verdaderas. La hiptesis (H3) es falsa ya que su antecedente Con-II es verdadera y su consecuente AIII es falsa. Luego, se rechaza esta posibilidad. La tercera posibilidad es AII, CI y DII son verdaderas. La hiptesis (H3) es falsa de nuevo. La cuarta posibilida es AII, CIII y DII. En este caso la hiptesis (H3) es de nuevo falsa. La quinta posibilidad es AIII, CI y DII son verdaderas. La hiptesis (H1) es falsa al ser su antecedente DII verdadera y falso su consecuente CIII. La ltima posibilidad es AIII, CII y DI y ninguna de las hiptesis es falsa. Por consiguiente, la respuesta es Alberto juega la tercera base, Carlos juega la segunda y Daro juega la primera. EJEMPLO 0.174. Cuatro personas llamadas Alberto, Carlos, Fabio y Ricardo son vendedores de telas, libros, casa y autos, quizs no en ese orden. Carlos hizo un pedido al vendedor de telas y Alberto conoci al vendedor de libros cuando le hizo un pedido en una exposicin. Carlos y el vendedor de autos son amigos aunque nunca hicieron negocios. Ni Fabio ni el vendedor de autos conocan a Ricardo. Puede usted decirnos lo que vende cada una de las personas mencionadas? Solucin: Lo primero que haremos es nombrar los datos para usarlos con facilidad. (A) Carlos hizo un pedido al vendedor de telas. (B) Alberto conoci al vendedor de libros cuando le hizo un pedido en una exposicin. (C) Carlos y el vendedor de autos son amigos aunque nunca hicieron negocios. (D) Ni Fabio ni el vendedor de autos conocan a Ricardo.

53

TELAS ALBERTO CARLOS FABIO RICARDO

LIBROS

CASAS

AUTOS

Es conveniente usar una tabla de doble entrada como se indica arriba, y all ajustaremos la informacin suministrada por los datos dados. Se colocar no en la casilla que se desee descartar la profesin, y si en la casilla que corresponde a un dato confirmado. De (A) se sigue que Carlos no es el vendedor de telas. Luego, colocaremos no en la casilla Carlos/Telas. De (B) se obtiene que Alberto no es el vendedor de libros y escribiremos no en la casilla Alberto/Libros. De (C) vemos que Carlos no es el vendedor de autos por lo que se colocar no en la casilla Carlos/Autos. De (D) se deduce que ni Fabio ni Ricardo son vendedores de autos. Luego, se colocarn no en las casillas Ricardo/Autos y Fabio/Autos. La tabla quedar como sigue: TELAS LIBROS CASAS AUTOS ALBERTO no CARLOS no no FABIO no RICARDO no En la ltima casilla solamente queda un espacio y se ve que Alberto es el vendedor de autos. As que se colocar si en la casilla Alberto/Autos. Debe colocarse no en las casillas Alberto/telas y Alberto/Casas. La tabla resultante es: TELAS LIBROS CASAS AUTOS ALBERTO no no no si CARLOS no no FABIO no RICARDO no Ricardo no es el vendedor de libros ya que por (D) no conoca al vendedor de autos, que result Alberto, y por (B) Alberto conoca al vendedor de libros. Hay que colocar no en la casilla Ricardo/Libros. De (C) se ve que Carlos y Alberto no hicieron negocios. Por tanto, de (B) se deduce que Carlos no puede ser el vendedor de libros. Colocamos no en la casilla Carlos/Libros. Obtenemos la siguiente tabla: TELAS LIBROS CASAS AUTOS ALBERTO no no no si CARLOS no no no FABIO no no no RICARDO no no En la primera columna falta el si en la columna Ricardo/Telas y hay que colocar no en Ricardo/Casas. Por la segunda columna se sabe que Fabio es el vendedor de telas y de la tercera columna se deduce que Carlos es el vendedor de casas. La respuesta final es: Alberto es el vendedor de autos, Carlos es el vendedor de casas, Fabio es el vendedor de libros y Ricardo es el vendedor de telas.

54 EJEMPLO 0.175. El oficial le dijo al detective Si Luis estuvo en la escena del crimen, entonces el sabe que Jos no lo hizo. No oficial, contest el detective Eso no es correcto. Luis estaba en la escena del crimen y Jos lo hizo. Qu relacin existe entre lo dicho por el oficial y lo dicho por el detective? Solucin: Sean p = Luis estaba en la escena del crimen y q = Jos cometi el crimen. El oficial afirm la proposicin p no-q y el detective dijo p q. A la luz del ejemplo 0.89 y de la ley de la doble negacin se sigue que lo afirmado por el detective es la negacin de lo afirmado por el oficial. EJEMPLO 0.176. Hay nueve pelotas de acero del mismo tamao y color. Sin embargo, una de ellas pesa un poco ms que las otras mientras que las restantes tienen pesos exactamente iguales. Se usar una balanza para determinar cul es la pelota ms pesada. Cul es el mnimo nmero de pesadas para lograrlo? Solucin: Se dividen las pelotas en tres grupos de tres pelotas cada uno. Dos de estos grupoos se colocan en los brazos de la balanza. Si la balanza queda equilibrada, entonces la pelota ms pesada est en el grupo de afuera. En caso contrario estar en el grupo ms inclinado. Por tanto, en la primera pesada se sabe en qu grupo est la pelota ms pesada. Se separan las tres pelotas de este grupo ms pesado y se colocan dos pelotas en los brazos de la balanza. Si est equilibrada la pelota ms pesada es la que qued afuera. En caso contrario la pelota ms pesada es la que inclin ms la balanza. Por consiguiente, en dos pesadas se puede saber cul es la pelota ms pesada. EJEMPLO 0.177. Un amigo y yo visitamos un jardn de flores y contamos 50 flores. Cada flor era roja o amarilla, y las flores no eran todas del mismo color. Mi amigo hizo la siguiente observacin: no importa como elijas dos de las flores siempre hay una roja. Puede usted decirnos cuntas flores hay de cada color? Solucin: De acuerdo a la hiptesis hay al menos una flor amarilla y al menos una flor roja. Si unimos la amarilla con otra flor debe obtenerse una roja. Por tanto, las restantes flores deben ser rojas. En Consecuencia, hay 49 flores rojas y 1 amarilla. EJEMPLO 0.178. Un nio y una nia estn sentados en la escalera de la escuela. Yo soy un nio dice la persona rubia. Yo soy una nia dice la persona morena. Si al menos uno de los dos ha mentido, quin es rubio y quin es moreno? Solucin: Si una de las personas dice la verdad, entonces la otra tambin dice la verdad porque hay un solo nio y una sola nia. Como al menos uno de ellos debe mentir, el otro tambin miente. En consecuencia, el nio es moreno y la nia es rubia. EJEMPLO 0.179. Amelia, Beatriz y Carolina son o peluqueras o comerciantes. Amelia y Beatriz tienen el mismo oficio. Amelia y Carolina tienen oficios distintos. Si Carolina es comerciante, Beatriz tambin lo es. Qu oficio ejerce cada una de ellas? Solucin:

55 Como Amelia y Beatriz tiene el mismo oficio ambas son peluqueras o son comerciantes. Ya que Amelia y Carolina tienben oficios distintos una es lo que la otra no es. En la tabla que sigue se leen las dos nicas posibilidades que hay con las condiciones mencionadas. A p c B p c C c p Las letras A, B y C son las iniciales de los nombres, c = comerciante y p = peluquera. En la segunda columna Carolina es comerciante y Beatriz no lo es lo que contradice la tercera afirmacin dada. En consecuencia, Amelia y Beatriz son comerciantes y Carolina es peluquera. EJEMPLO 0.180. Algunos meses tiene treinta das y otros tiene treinta y un das. Cules meses tienen veintiocho das? Solucin: Todos los meses tienen veintiocho das ya que para llegar a treinta y treinta y uno hay que pasar por veintiocho. EJEMPLO 0.181. Un Rey quera destituir a su Primer Ministro. Lo hizo llamar, puso dos papeles en un sombrero y le dijo: En uno de estos papeles he escrito FUERA y en el otro QUDATE. El papel que escojas decidir tu suerte. El Ministro, que era astuto, se dio cuenta de que el Rey haba escrito FUERA en los dos papeles. Cmo consigui conservar su puesto? Solucin: Le dijo al Rey: Voy a sacar un papel y har lo contrario de lo que se mencione en dicho papel. COMENTARIO 0.60. En la matemtica elemental se aprende a manipular nmeros y a usar frmulas; se usan las calculadoras y los programas de computacin. Sin embargo, eso no es slo matemtica. La matemtica es entender, intuir, observar, experimentar, razonar, pensar, conjeturar, descubrir y crear. La matemtica es emocin y tambin pasin como toda actividad humana. Cuando se hace un descubrimiento matemtico no slo debemos ser capaces de verificar que ese descubrimiento es correcto, sino debemos tener la seguridad de que podremos convencer a los dems que ese descubrimiento es verdadero. Disfrutaremos la matemtica si la entendemos y somos capaces de transmitir nuestros pequeos descubrimientos. Casi siempre un teorema est dado en la forma condicional: H T donde H es la hiptesis y T es la tesis. Para demostrar un teorema se usan los trminos primitivos, los axiomas, las definiciones y los dems teoremas que se hayan demostrado. Una demostracin matemtica es la manera de convencer a los otros de que las conclusiones halladas provienen efectivamente de la hiptesis. Cmo se demuestra un teorema? Las ideas y ejemplos que presentaremos despus de este comentario quizs puedan ayudar a dar una respuesta a la interrogante anterior. Hay varias estrategias que sirven para construir demostraciones, pero, la mejor manera de hacer demostraciones no consiste en clasificar minuciosamente las distintas estrategias, sino leer muchas demostraciones bien hechas, empezar a escribir nuestras propias demostraciones y obtener de all nuevas estrategias para seguir demostrando. Ni el modo de pensar cmo se hace una demostracin ni el cmo se puede escribir correctamente dicha demostracin son tareas fciles. Por el contrario esos procesos son muy lentos, y se necesita mucha perseverancia, mucho tesn, mucho esfuerzo y algo o mucho de ingenio.

56 EJEMPLO 0.182. Considrese la proposicin p(n,m) = n2 + n + m es un nmero primo donde el rango de ambas variables es el conjunto de los enteros mayores que 1. Entonces la proposicin p(1,1) = 3 es un nmero primo es verdadera. Por consiguiente, hemos demostrado que la proposicin n m p(x,y) es verdadera. Por otro lado, la proposicin p(1,2) = 4 es un nmero primo es falsa y hemos demostrado que la proposicin n m p(x,y) es falsa.. Considrese ahora la forma proposicional q(n) = p(n,17) es un nmero primo donde se hizo m = 17 en p(n,m). O sea, q(n) = n2 + n + 17 es un nmero primo. Veamos algunos ejemplos q(1) = 19 es un nmero primo q(2) = 23 es un nmero primo q(3) = 29 es un nmero primo q(4) = 37 es un nmero primo Hemos visto entonces que q(1), q(2), q(3) y q(4) son proposiciones verdaderas. Con una de esas proposiciones se prueba que n q(n) es una proposicin verdadera. Ser verdadera la proposicin n q(n)? Ntese que q(16) = 289 es un nmero primo es una proposicin falsa puesto que 289 = 172. Este contraejemplo muestra que n q(n) es una proposicin falsa. COMENTARIO 0.61. Hemos vuelto a ver que la veracidad de una cuantificacin existencial se demuestra presentando un elemento que cumpla con las condiciones y tambin que la falsedad de una cuantificacin universal se demuestra exhibiendo un ejemplo que no la cumpla. Debemos advertir que una cuantificacin universal no puede demostrarse usando ejemplos. Este mtodo de ir de casos particulares a casos generales se llama mtodo inductivo. Por ejemplo, se acepta que el Sol sale por el este todos los das por cuanto as ha sucedido siempre. Sin embargo, eso no es una demostracin. Veamos un ejemplo muy eficiente que muestra lo que decimos, y lo hemos tomado del pequeo libro de Induccin en la Geometra de los matemticos rusos L.I. Golovina e I. M. Yaglom. Considrese la forma proposicional p(n) = 991n2 + 1 no es un entero cuadrado perfecto donde el rango es el conjunto de los enteros positivo. Si se reemplaza n por los enteros 1, 2, 3, se obtienen proposiciones falsas. Sin embargo, p(12 055 735 790 231 359 447 442 538 767) es una proposicin verdadera. El mtodo inductivo en matemtica no es vlido, pero es importante para determinar conjeturas aunque no sirva para demostrarlas. En el comentario 1.6 estudiaremos un mtodo de demostracin que se llama mtodo de induccin matemtica que es distinto al mtodo inductivo anterior. EJEMPLO 0.183. Sea n un entero. Si 5 es un entero par, entonces n2 < 0.

Discusin: Debe demostrarse la condicional 5 es entero par n2 < 0. Pero, el antecedente es falso y se tiene que la condicional es verdadera. Demostracin: Como la hiptesis es falsa se sigue que el teorema es verdadero. EJEMPLO 0.184. Sea p(n) = Si n es un entero mayor que 1, entonces n2 > n. demuestre que p(0) es verdadera. Demostracin:

57 La proposicin es p(0) = Si 0 es un entero mayor que 1, entonces 0 > 0. Esta proposicin es verdadera porque su antecedente es falso. COMENTARIO 0.62. En los dos ejemplos anteriores se han demostrado teoremas viendo que las hiptesis son falsas. Este tipo de demostracin se usa en matemtica para establecer casos especiales de teoremas de la forma n p(n) donde el rango es N. EJEMPLO 0.185. Si n es un entero impar, entonces n2 0.

Discusin El consecuente n2 0 es verdadero lo que se puede corroborar usando la regla de los signos. Por consiguiente, la condicional es verdadera. Demostracin: Si n = 0, entonces n2 = 0. Si n > 0, entonces n2 = n.n > 0. Si n < 0, entonces n2 = n.n > 0. Por tanto, la tesis es verdadera y el teorema es verdadero. COMENTARIO 0.63. Si la tesis de un teorema es verdadera, entonces dicho teorema es verdadero. Este tipo de demostracin se califica de trivial. Las demostraciones triviales se usan en ciertos casos especiales de teoremas. EJEMPLO 0.186. Sea p(n) = Si a y b son enteros positivos con a b, entonces an bn para todo entero no negativo n. Pruebe que la proposicin p(0) es verdadera. Demostracin: La proposicin p(0) es Si a b > 0, entonces a0 b0. Como a0 = b0 = 1 se tiene que el consecuente es verdadero y, por ende, p(0) es verdadera. COMENTARIO 0.64. Un teorema de la forma H T puede demostrarse suponiendo que H es verdadera y de all se deduce que T es verdadera. Esta manera de demostrar teoremas se llama el mtodo directo, y puede escribirse as: Supngase H ( explicaciones) Entonces T Cmo se pueden conectar H y T? Una manera de hacerlo sera preguntarse Qu puedo concluir de H para llegar a T? Supngase que se contesta H1 a esta pregunta. Nos preguntamos de nuevo, qu puedo deducir de H1? Podemos responder H2. Obtenemos entonces H H1 H2 T Tambin nos podemos preguntar. Qu debemos conocer para saber que T es verdadera? Podemos responder que T1. Qu debemos conocer para saber que T1 es verdadera? La respuesta la llamamos T2. Podemos concluir si mezclamos todas las preguntas en obtener una serie de condicionales que al final pueden unirse usando la regla del silogismo hipottico, o sea, H H1 H2 T2 T1 T

58 EJEMPLO 0.187. La suma de dos enteros impares es un entero par. Discusin: La proposicin dada puede escribirse as Si m y n son enteros impares, entonces m + n es un entero par. La hiptesis es H = m y n son enteros impares y la tesis es T = m + n es un entero par. Qu podemos deducir de la hiptesis? Si la hiptesis es verdadera, entonces los enteros m y n son impares. De la definicin de entero impar se deduce que existen enteros a y b tales que m = 2a + 1 y n = 2b + 1. Podemos entonces escribir H1 = m = 2a + 1 y n = 2b + 1 para ciertos enteros a y b. Qu tenemos que demostrar? La tesis es m + n es par, o sea, que existe un entero k tal que m + n = 2k. Podemos escribir que T1 = m + n = 2k para cierto entero k. Si se escribe H H1 T1 T, cmo podemos pasar de H1 a T1? Bastar quizs sumar m y n. Demostracin: Supngase que m y n son enteros impares. Entonces m = 2a + 1 y n = 2b + 1 para ciertos enteros a y b. Luego, m + n = (2a + 1) + (2b + 1) = 2a + 2b + 2 = 2(a + b + 1). Ya que la cantidad entre el ltimo parntesis es un entero se deduce que m + n es par. COMENTARIO 0.65. La hiptesis de la demostracin anterior es la conjuncin p q donde p = m es un entero impar y q = n es un entero impar. La demostracin se empieza suponiendo que p q es verdadera. Se usa luego la ley de simplificacin para deducir que p y q son verdaderas, y de all se obtienen las igualdades m = 2a + 1 y n = 2b + 1. Se aplic la ley de adjuncin y de esa manera se pudo calcular m + n. Finalmente, la ley del silogismo hipottico puso a funcionar todos los condicionales y se obtuvo el resultado deseado. Esto muestra que las demostraciones matemticas estn plagadas de proposiciones y derivaciones lgicas. En la escritura de la demostracin anterior no aparece ni la manera cmo se pens la demostracin ni las leyes y los smbolos de la lgica que fueron usados. Ello ocurre as porque los matemticos en general escriben las demostraciones de esta manera. EJEMPLO 0.188. (a) La suma de dos enteros consecutivos es un entero par. (b) Establezca el recproco de (a). Es verdadera? Discusin: (a) Dos enteros consecutivos pueden escribirse en la forma k y k + 1 donde k es un entero. Al efectuar la suma debe obtenerse el resultado deseado. (b) El recproco de un teorema se obtiene intercambiando la hiptesis con la tesis. Posiblemente la demostracin de este recproco se puede hacer volteando la igualdad de (a). Demostracin: (a) Sean k y k + 1 dos enteros consecutivos. Entonces k + (k + 1) = 2k + 1. Ya que k es un entero se tiene que k + (k + 1) es un entero impar. (b) El recproco es Un entero impar es la suma de dos enteros consecutivos. Sea n un entero impar. Entonces n = 2k + 1 para algn entero k. Luego, n = 2k + 1 = k + (k + 1) Por tanto, el entero impar n es la suma de los enteros consecutivos k y k + 1. EJEMPLO 0.189. Si a y b son nmeros reales y 0 < a < b, entonces a2 < b2.

59 Discusin: Ntese que a y b son nmeros reales positivos. Debemos probar que a2 < b2 se deduce de a < b. Si en esta ltima desigualdad se multiplican los dos miembros por el nmero positivo a se obtiene que a2 < ab y ya estamos ms cerca de la tesis. Demostracin: Supngase que 0 < a < b. Al multiplicar ambos miembros de la ltima desigualdad por el nmero positivo a se obtiene que a2 < ab. Al multiplicar esa misma desigualdad por el nmero positivo b se obtiene que ab < b2. Podemos escribir entonces que a2 < ab < b2 y por la propiedad transitiva de la desigualdad se concluye que a2 < b2. Otra demostracin: Supngase que 0 < a < b. Entonces a > 0 y b > 0, y as a + b > 0. Si a < b, entonces b a > 0. Al multiplicar esta ultima desigualdad por el nmero positivo a + b se tiene que 0 < (a + b)(a b) = a2 b2. Por consiguiente, a2 < b2. COMENTARIO 0.66. La condicional H T es equivalente a su contrapositiva no-T noH segn vimos en el ejemplo 0.92. Por tanto, para demostrar el teorema H T bastar demostrar no-H noT. Esta manera de demostrar un teorema se llama mtodo contrapositivo o mtodo indirecto. Se parte de la negacin de la tesis y se demuestra la negacin de la hiptesis. EJEMPLO 0.190. Sea n un entero. Si n2 es un entero impar, entonces n es un entero impar. Discusin: Si se supone que n2 es un entero impar, entonces existe un entero k tal que n2 = 2k + 1. Al extraer races cuadradas vemos que n = 2k + 1 . De aqu no se tiene claro hacia donde seguir. Probemos entonces con el mtodo indirecto. Hay que demostrar que si n es par, entonces n2 es par que es la contrapositiva de la proposicin dada. Demostracin: Usaremos el mtodo indirecto. Supngase que n es par. Entonces existe un entero k tal que n = 2k. Luego, n2 = (2k)2 = 4k2 = 2(2k2). Ya que 2k2 es un entero se sigue que n2 es par. EJEMPLO 0.191. Sean a, b y c nmeros reales tales que a > b. Si ac bc, entonces c 0. Demostracin: Supngase que a > b. Si c > 0, entonces al multiplicar por la igualdad anterior se tiene que ac > bc. Por el mtodo indirecto queda demostrado el teorema. COMENTARIO 0.67. Existe un mtodo de demostracin muy antiguo que se parece al mtodo indirecto, pero es distinto. Se llama el mtodo de reduccin al absurdo o mtodo contradictorio. Este mtodo se basa en la equivalencia lgica (H T) [(H noT) C] dada en el ejemplo 0.101. Para demostrar la condicional H T se suponen verdaderas H y noT y se llega a una contradiccin. EJEMPLO 0.192. Discusin: Si n es un entero y n3 + 5 es impar, entonces n es par.

60 Si se acepta la hiptesis, entonces el cubo complica el despeje de n. Podemos pensar en el mtodo de reduccin al absurdo, y para ello supngase que n3 + 5 es impar y n es impar. Se trata de hallar una contradiccin. Demostracin: Usaremos el mtodo de reduccin al absurdo. Supngase que n3 + 5 y n son impares. Entonces existe un entero k tal que n = 2k + 1. Luego, n3 + 5 = (2k + 1)3 + 5 = 8k3 + 12k2 + 6k + 1 + 5 = 2(k3 + 6k2 + 3k + 3) Como k3 + 6k2 + 3k + 3 es un entero se concluye que n3 + 5 es par. Pero, esto contradice a la hiptesis. En consecuencia, n es impar. EJEMPLO 0.193. Sean a un nmero irracional y r un nmero racional distinto de 0. Pruebe que si s es un nmero real, entonces uno de los nmeros ar + s y ar s es irracional. Discusin: La tesis es que uno de los nmeros ar + s y ar s es irracional. Su negacin ser, usando las leyes de De Morgan, es que ambos nmeros no son irracionales, es decir, son racionales. Demostracin: Usaremos el mtodo de reduccin al absurdo. Supngase que x = ar + s e y = ar s son racionales. x+y Entonces la suma x + y = 2ar es racional. Se tiene as que a = . Pero esta igualdad es absurda 2r porque el primer miembro a es un nmero irracional y el segundo miembro es un nmero racional por ser el cociente de dos racionales.

EJEMPLO 0.194. Sea x un nmero real. Si x > 0, entonces

1 >0 x

Demostracin: Supngase que x > 0 y 1 0 . Al multiplicar esta ltima igualdad por el nmero real positivo x se tiene x 1 que 1 0 lo cual es absurdo. En consecuencia, > 0 . x

COMENTARIO 0.68. La equivalencia (H T) (H T) (T H) del ejemplo 0.94 nos permitir demostrar la bicondicional H T demostrando las condicionales H T y T H. EJEMPLO 0.195. Un entero n es impar si y slo si n2 es par.

Discusin: Esta proposicin es una bicondicional que se descompone en las dos condicionales: (A) Si n es un entero impar, entonces n2 es un entero impar. (B) Si n2 es un entero impar, entonces n es un entero impar. Posiblemente (A) pueda probarse usando el mtodo directo. La proposicin (B) ha sido demostrada en el ejemplo 0.189. Demostracin: Supngase que n es un entero impar. Entonces n = 2k + 1 para cierto entero k. Por tanto

61 n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1. Ya que 2k + 2k es un entero se sigue que n2 es impar. El recproco fue demostrado en el ejemplo 0.189.
2

EJEMPLO 0.196.

Un entero n es par si y slo si n2 es par.

Discusin: Esta bicondicional es equivalente a la conjuncin de las condicionales Si n es un entero par, entonces n2 es par y Si n2 es un entero par, entonces n es par Pero, las contrapositivas de ambas proposiciones son Si n2 es un entero impar, entonces n es un entero impar y Si n es un entero impar, entonces n2 es impar. Estas dos ltimas condicionales las podemos resumir as Un entero n es impar si y slo si n2 es impar. Pero esta proposicin ya fue demostrada en el ejemplo anterior. Demostracin: Este es el mismo ejemplo anterior. COMENTARIO 0.69. En el ejemplo 0.96 vimos que la proposicin (p q) r es equivalente a la conjuncin de las proposiciones p r y q r. Luego, bastar estudiar ambos casos. EJEMPLO 0.197. Si x e y son nmeros reales, entonces max(x,y) y min(x,y) son el mximo y el mnimo de los nmeros x e y. Pruebe que max(a,b) + min(a,b) = a + b. Discusin: El mximo de los nmeros x e y es x si y x e y si y > x. El mnimo de los nmeros x e y es x si x y e y si x > y. Se pueden estudiar entonces los distintos casos. Demostracin: CASO 1. ab En este caso se tiene que max(a,b) = a y min(a,b) = b. Por tanto, max(a,b) + min(a,b) = a + b. CASO 2. a<b En este caso se tiene que max(a,b) = b y min(a,b) = a. Por tanto, max(a,b) + min(a,b) = b + a = a + b. EJEMPLO 0.198. Dos enteros tienen paridades iguales si y slo si su suma es par. Discusin: La bicondicional dada es equivalente a las siguientes condicionales: (A) Si m y n son enteros que tienen paridades iguales, entonces m + n es par. (B) Si el entero m + n es par, entonces los enteros m y n tienen paridades iguales. Para demostrar (A) al suponer la hiptesis se suponen dos casos: ambos enteros pares o ambos impares. Para demostrar (B) se puede usar reduccin al absurdo y, para ello se acepta que ambos enteros tienen paridades distintas produciendo dos casos. Demostracin: Supngase que los enteros m y n tiene la misma paridad. Entonces estudiaremos dos casos. CASO 1. m y n son pares En este caso existen enteros a y b tales que m = 2a y n = 2b. Luego, m + n = 2a + 2b = 2(a + b). Ya que a + b es un entero se sigue que m + n es par. CASO 2. m y n impares

62 En este caso vemos que existen enteros k y j tales que m = 2k + 1 y n = 2j + 1. Por tanto, m + n = (2k + 1) + (2j + 1) = 2k + 2j + 2 = 2(k + j + 1) Al ser k + j + a un entero se sigue que m + n es par. Recprocamente, supngase que m + n es par y m y n tienen paridades iguales. Entonces se tienen los siguientes casos: CASO 1. m es par y n es impar En este caso existen enteros a y b tales que m = 2a y n = 2b + 1. Luego, m + n = 2a + (2b + 1) = 2(a + b) + 1 Como a + b es entero se sigue que m + n es impar contrario a lo supuesto. CASO 2. m es impar y n es par. La demostracin es similar a la demostracin dada en el caso anterior y se omite. EJEMPLO 0.199. Existe un entero impar tal que la suma de sus dgitos es un nmero par y el producto de los dgitos es un nmero impar. Discusin: Aqu existe una cuantificacin existencial. Bastar entonces hallar un nmero con esas caractersticas. Cmo se halla dicho nmero? Hicimos un tanteo y encontramos que el nmero 11 lo hace. Demostracin: El nmero 11 es un entero impar, la suma de sus cifras es el nmero par 2 y el producto de sus cifras es el nmero impar 1. EJEMPLO 0.200. Para cada nmero real x existe un nico nmero real y tal que x2y = x y. Discusin: Hay que demostrar dos proposiciones. La primeras se simboliza mediante x y (x2y = x y) donde el rango de ambas variables es . La segunda proposicin es El nmero y es nico. En la primera proposicin se puede escribir x p(x) donde p(x) = y (x2y = x y). Ya que esta es una proposicin con un solo cuantificador existencial, se procede a tomar un nmero real arbitrario a, y mostrar que p(a) es verdadera para ese valor de a. As, debe probarse que y (a2y = a y) es verdadera para todo nmero a real a. Al ir hacia atrs y despejar y se obtiene que y = 2 . Para probar la segunda proposicin se a +1 aceptan que hay dos soluciones y se demuestra que son iguales. Demostracin: a Sea x un nmero real cualquiera. Se define y = 2 . Entonces se obtiene que a +1 x3 x x3 yxy= x 2 x2y = 2 = 2 . Luego, x2y = x y y se cumple la igualdad. Por otro lado, x +1 x +1 x +1 x sean y y z dos nmeros reales tales que x2y = x y y x2 z = x z. Entonces y = 2 = z, y hemos x +1 demostrado que y es nico. EJEMPLO 0.201. Pruebe que si n es un entero, entonces las siguientes proposiciones son equivalentes: (A) n es par (B) n + 1 es impar (C) 3n + 1 es impar (D)

3n es par

63 Discusin: Hay que demostrar las seis bicondicionales (A) (B), (A) (C), (A) (D), (B) (C), (B) (D) y (C) (D). Sin embargo, si se demuestra (A) (B) (C) (D) (A), entonces se demuestra todo usando el silogismo hipottico. Demostracin: (A) (B) Si n es par, entonces n = 2k para cierto entero k. Luego, n + 1 = 2k + 1 que es impar. (B) (C) Supngase que n + 1 es impar. Entonces n + 1 = 2k + 1con k entero. Luego, 3n + 1 = 2n + (n + 1) = 2n + 2k + 1 = 2(n + k) + 1 es impar por ser n + k entero. (C) (D) Supngase que 3n + 1 es impar. Entonces 3n + 1 = 2k + 1 para cierto entero k. Luego, al simplificar por 1 vemos que 3n = 2k que es par por ser k entero. (D) (A) Supngase que 3n es par y n es impar. Entonces n = 2k + 1 con k entero. As, 3n = 3(2k + 1) = 6k + 3 = 6k + 2 + 1 = 2(3k + 1) + 1. Como 3k + 1 es entero se tiene que 3n es impar lo cual es absurdo por la hiptesis. COMENTARIO 0.70. A lo largo del texto iremos discutiendo las demostraciones de los teoremas que usaremos y demostraremos.

64
EJERCICIOS 0.
En los ejercicios 1 - 25 indique si la oracin dada es una proposicin o no. 1. Es falso que una semirrecta tenga dos orgenes. 2. Ven ac! 3. Jos est loco 4. Siete es un nmero primo. 5. Los ngulos rectos son iguales. 6. La familia no es 7. Dnde est carmen? 8. 3 18 = 12 9. x + 4 = 13 10. Si n es un entero, entonces 3n es par. 11. Doce es un nmero impar. 12. Hoy es un bello da. 13. x<3 14. x+y=z 15. Si x = 3, entonces yx 0. 16. a2 + b2 = c2 17. (a + b)2 = a2 + 2ab + b2 18. 3 es un divisor comn de 5, 8 y 12. 19. 2x + 1 es un entero. 20. Es un da soleado. 21. No entres a esa habitacin. 22. Si x 2, entonces x3 1. 23. Vyase a dormir. 24. Contesta a esta pregunta. 25. Los segmentos se bisecan y las semirrectas se cortan. En los ejercicios 26 - 50 escriba la negacin de la proposicin dada. 26. Es falso que un segmento tenga tres extremos. 27. No todo ngulo es obtuso. 28. Algunas preguntas no pueden responderse. 29. Todos los ciegos no pueden ver. 30. Luis y Juan tienen sed. 31 Jos y Luisa son hermanos. 32. Carlos va al cine o Luis viene a casa. 33. Si Pedro come, entonces est satisfecho. 34. 3<6 35. Un pentgono tiene cuatro lados. 36. Jos vino a visitarme. 37. x y x2 + 1 > 0 38. Dado un nmero real x, se puede hallar un nmero real y tal que x > y. 39. Dados dos enteros a y b existen enteros nicos q y r tales que a = bq + r. 40. La Luna est enamorada del Sol. 41. Dado un nmero real > 0 existen un nmero real > 0 y un nmero real L tales que para cada x en el dominio de la funcin f se tiene que |f(x) L| < si 0 < |x| < . 42. Luis y Luisa son hermanos. 43. Una funcin es creciente si de a < b se deduce f(a) < f(b). 44. Luis va al cine y Luisa va a su casa. 45. Si Luis va al cine, entonces Luisa va su casa. 46. Luis va al cine o Luisa no va a su casa. 47. Luis va al cine pero Luisa va a su casa. 48. O bien a2 > 0 o a no es un nmero real. 49. Todo entero es divisible por un primo. 50. Existe un conjunto infinito cuyos subconjuntos propios son todos finitos. 51. Sean p = Hace calor, q = Hay una temperatura de 100C Exprese cada proposicin en forma lgica.

65
(a) No hace calor. (b) Hace calor y la temperatura no es de 100C (c) Hace calor pero la tempereatura es de 100C (d) Si hace calor, entonces la temperatura es de 100C. 52. Sean p = Luis tiene gripe, q = Luis pas el examen y r = Luis lleg tarde. Exprese en espaol cada una de las siguientes proposiciones (a) p no-q (b) pq (c) q no-r (d) pqr (e) no-q r (f) p no-r 53. Sean p = Alberto maneja a ms de 100 kilmetros por hora y q = Alberto recibin una multa. Halle la forma lgica de cada proposicin. (a) Alberto no va a ms de 100 kilmetros por hora. (b) Alberto viaj a ms de 100 kilmetros por hora y no recibin una multa. (c) Alberto recibi una multa por manejar a ms de 100 kilmetros por hora. (d) Si Alberto no va a ms de 100 kilmetros por hora, entonces no recibir una multa. (e) Manejar a ms de 100 kilmetros por hora es suficiente para recibir una multa de trnsito. 54. Sea p = Luis viene a casa, q = Luisa se devuelve al trabajo y r = Jos est en el banco. Escriba cada propoisicin en espaol. (a) pr (b) qr (c) (p q) r (d) p (q r) En los ejercicios 55 - 61 diga si la condicional dada es verdadera o falsa. Por qu? 55. Si 1 + 1 = 2, entonces 3 + 3 = 6 56. Si 1 + 1 = 2, entonces 3 + 3 = 5 57. Si 1 + 1 = 3, entonces 3 + 3 = 6 58. Si 1 + 1 = 3, entonces 3 + 3 = 5 59. Si los cochinos vuelan, entonces 1 + 1 = 3 60. Si 1 + 1 = 5, entonces los cochinos vuelan. 61. Si 1 + 1 = 32, entonces Dios existe. En los ejercicios 62 71 escriba la oracin dada en forma condicional 62. En un tringulo issceles dos de sus ngulos son iguales. 63. Llueve si el viento viene del sur. 64. Es necesario llegar a la esquina para comprar un libro. 65. Para conseguir un ascenso es necesario ser inteligente. 66. Solamente los abogados son necios. 67. Todos los tringulos son equilteros. 68. Ninguno de los nios recibi un premio. 69. No hay forma de leer mejor que tener la luz apropiada. 70. Una condicin suficiente para que a sea par es que sea divisible por 2. 71. Los tringulos issceles tienen dos ngulos iguales. En los ejercicios 72-84 construya tabla de verdad para cada proposicin. 72. p no-p 73. p no-p 74. no-p q 75. (p q) (no-p q) 76. (p q) (no-p q) 77. (p q) r 78. p (no-q r) 79. p (q r) 80. (p q) r 81. (p q) (p q) 82. (p q) (p r) 83. (p q) no-p 84. (p q) no-q 85. Se define la disyuncin exclusiva de dos proposiciones como la proposicin que es verdadera si exactamente una de ellas es verdadera, y es falsa de otra manera. Si p y q spn dos proposiciones, la disyuncin exclusiva se denota mediante p q. (a) Construya la tabla de verdad de p q

66
(b) Halle la tabla de verdad de p p, p no-p, p no-q y (p q) (p no-q) En los ejercicios 86- 89 demuestre la equivalencia mostrada. 86. no-(p q) no-p q 87. no-(p q) p q 88. no-p q p no-q 89. p q (p q) (no-p no-q) Se define p ni q y p nand q mediante la siguiente tabla de verdad p q p ni q p nand q 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 Se usan los smbolos y para denotar a ni y nand, respectivamente. En los ejercicios 90 - 94 demuestre la proposicin indicada. 90. pq no-(p q) 91. pq no-(p q) 92. pp no-p 93. (pq)(pq) p q 94. pq qp 95. Sea E(x,y) = x enloquece a y . Escriba usando cuantificadores las siguientes proposiciones (a) Todo el mundo enloquece a Fabiana. (b) Valeria enloquece a todo el mundo. (c) Todo el mundo enloquece a cualquiera. (d) Nadie enloquece a todo el mundo. (e) Todo el mundo es enloquecido por alguien. (f) Nadie enloquece a Luis y a Alberto. (g) Nadina enloquece a exactamente dos personas. (h) Nadie se enloquece a s mismo. 96. Sea P(x,y) una forma proposicional tal que el rango de ambas variables es el conjunto 1, 2, 3. Escriba las siguientes proposiciones usando disyunciones y conjunciones. (a) x P(x,2) (b) y P(1,y) (c) xy P(x,y) (d) xy P(x,y) (e) xy P(x,y) (f) yx P(x,y) En los ejercicios 97 - 99 forme un argumento vlido usando todas las premisas dadas 97. Nadie que aprecie a Beethoven dejar de mantener silencio cuando se toque su Sonata Mayor Los cochinos de Guinea son ignorantes musicales. Nadie que sea ignorante guardar silencio cuando se toque la Sonata Mayor. 98. Cuando yo trabajo con un problema lgico sin protestar es que lo entiendo. Estos problemas no estn colocados en el mismo orden en que yo estoy acostumbrado. Ningn problema fcil me hace doler la cabeza. No puedo entender los problemas que no estn arreglados en el orden al cual yo estoy acostumbrado. Nunca protesto ante un problema a menos que me duela la cabeza. 99. Toda idea propia que no pueda excpresar como un silogismo es realmente ridcula. Ninguna de mis ideas sobre las estrellas de rock vale la pena mencionarlas. Ninguna idea ma que no sea verdadera puede ser expresada mediante un silogismo. Nunca tengo una idea ridcula que no se la exprese a mi abogado. Todos mis sueos son sobre estrellas de rock. Nunca le cuento a mi abogado sobre mis ideas a menos que valga la pena mencionarlas. 100. Un miembro de la Mafia rob en una tienda a pesar de la prohibicin expresa de su Jefe. Este decidi hablar con sus hombres. Aurelio dijo Bartolo o Carlos lo hizo, Bartolo dijo: Ni Fabiana ni yo lo hicimos, Carlos dijo: Ustedes dos estn mintiendo, David dijo: No; uno est mintiendo y el otro est diciendo la verdad, Fabiana dijo: No, David. Eso no es verdad. El Jefe sentenci: Tres de ustedes siempre dicen la verdad. Quin cometi el robo? 101. Tengo el hbito de levantarme antes de que salga el sol. Mis medias estn colocadas en una gaveta que contiene 10 negras y 20 azules. Cuntas medias debo sacar como mnimo en la oscuridad para estar seguro de sacar dos medias del mismo color? 102. Se pueden colocar 10 terrones de azcar en tres copas vacas si cada copa contiene un nmero impar de terrones? 103. En un lenguaje extranjero tirs des significa zapato rojo. El significado de pis des tot es cerca roja grande. El significado de wer tot es zapato grande. Cmo traducira zapato rojo?

67
104. 105. 106. 107. Cuntos outs son necesarios si finaliza un juego de baseball completo con 9 inings? Dos personas estn separadas por una distancia de 10 kilmetros, y se acercan una hacia la otra. La primera persona va a una velocidad de 6 km/h y la otra va a 4 km/h. Un pajarito est volando continuamente a una velocidad de 20 km/h, y va de una persona a otra. Cunto ha recorrido el pajarito al encontrase ambas personas? En una granja hay 110 animales entre caballos y gallinas. Si se couentan 400 patas, cu+antas gallinas y cuntos caballos hay? TEOREMA . Todo perro tiene ocho patas. Demostracin: Un perro tiene dos patas al frente, dos patas atrs y dos patas en cada lado para un total de ocho patas. Dnde est el error en la demostracin? Obtenga una conclusin vlida de ls siguientes premisas: (1) Todos los cuadrados son rectngulos. (2) Todos los rectngulos son cuadrilteros. (3) Todos los cuadrilteros son polgonos. Si el Dios apolo puede hacer cualquier cosa, puede l construir una roca que no pueda levantar? Son vlidos los siguientes argumentos? (a) Si llueve, entonces Erica est enferma. No llueve Erica no est enferma. (b) Si llueve, entonces Erica est enferma. Erica no est enferma. No llueve (c) Si estudio, no me aplazan en matemtica. Si no juego basketball, entonces estudiar. Me aplazaron en matemtica.

108.

109. 110.

111. 112.

113. 114.

Jugu basketball. Halle en cada caso un contraejemplo donde U = 3, 5, 7, 9 (a) x (x + 3 7) (b) x x es primo (c) x x es par Sea p(n) = 5n + 3 es primo y q(n) = 7n + 1 es primo. (a) Exorese p(n) q(n) en espaol. (b) Exprese p(2) q(2) en espaol. Es verdadera esta proposicin? (c) Exprese p(4) q(4) en espaol. Es verdadera esta proposicin? Sea p = 18 es impar y q = 25 es impar Es p q verdadera o falsa? En cada uno de los siguientes argumentos, si es vlido, halle una derivacin, y si no es vlido, muestre por qu (a) pq (b) no-x y (c) EF (p q) r no-x z no-G no-F HI r no-z no-y EH (d) LM (M N) (L K) no-P L K (e) no-A (B no-C) C no-A (no-D A) no-no-C no-D GI

115.

no-B Halla la falacia en cada argumento. (a) Buenas cercas hacen buenos vecinos. Entonces tenemos buenos vecinos. (b) Si Jos se come una serpiente, entonces Mara se come una zorra. Jos no se come una serpiente. tanto, Mara no se come una zorra.

Por

68
Si mi gato come mucho, entonces se enferma. Si mi gato se enferma, entonces es infeliz. Por tanto, mi gato se enferma. Supngase que x e y recorren todos los automviles. Sean L(x,y) = x es tan rpido como y, M(x,y) = x es tan caro como y y N(c,y) = x es tan viejo como y. Traduzca al espaol las siguientes proposiciones: (a) x y L(x,y) (b) y x L(x,y) N(x,y (c) x y M(x,y) (d) y x [no-M(x,y) L(x,y)] Los nicos enteros consecutivos no nulos a, b y c que satisfacen la igualdad a2 + b2 = c2 son 3, 4 y 5. Si n es un entero par, entonces 5n + 1 es impar. Sea n un entero. Si 3n 8 es impar, entonces n es impar Demostracin: Supngase que n es impar. Entonces n = 2k + 1 para algn entero k. Entonces 3n 8 = 3(2k + 1) + 8 = 6k 5 0 2(3k 3) + 1. Como 3k 3 es un entero, 3n 8 es impar. Qu le parece esta demostracin? El entero n3 es par si y slo si n es par. Si ab es un entero impar, entonces los enteros a y b tiene paridades opuestos. Si n es un entero, entonces n2 n es par. Si ab y a + b son enteros pares, entonces ambos enteros son pares. 1 Si r es un nmero real tal que 0 < r < 1, entonces 4 r (1 r ) Sean x e y nmeros reales. Si x2 4x = y2 4y y x y, entonces x + y = 4. Si x e y son nmeros reales, entonces x + y x - y No existe un nmero racional mayor que los dems. El entero 200 no puede escribirse como la suma de un entero impar y de dos enteros pares. No existe ninghn nmero irracional mnimo. 2 Si x es un nmero real positivo y x > 1 , entonces x > 2. Demuestre esta proposicin usando (a) el mtodo x directo (b) el mtodo indirecto (c) el mtodo de reduccin al absurdo. (c)

116.

117. 118. 119.

120. 121. 122. 123. 124. 125. 126. 127. 128. 129. 130.