Ejercicios T ecnicas de Demostraci on

5 de febrero de 2012
Ejercicio 1. Demuestre o refute que si A = 2 C y A X + Y entonces X C o Y C . Podemos tratar de demostrarlo por contradicci on. Suponga la negaci on de la conclusi on: (X < C ) y Entonces sumando las dos desigualdades nos da: (X + Y < C + C ) Ahora como sabemos que A = 2 C . (X + Y < A ) Pero esto realmente no contradice el hecho: A X + Y , ya que: (A X + Y ) = ((A = X + Y ) (A < x + y ))) Entonces tratemos de ver si no es cierto. Considere el siguiente contra ejemplo: A: 20 C: 10 X: 5 Y: 6 (4) (3) (2) (Y < C ) (1)

Ejercicio 2. Dadas las siguientes deniciones: min(x, y ) = x y y x si si si x y, si y < x si x y, si y < x 0 x x < 0 (5)

max(x, y ) = x x

(6)

abs(x) =

(7)

Demuestre, usando el m etodo de prueba por casos, que: min(x, y ) + max(x, y ) = x + y

Caso 1: x y

min(x,y)+max(x,y) = = Caso 2: y < x x+max(x,y) x+y

def de min e hip otesis de caso def de max e hip otesis de caso

min(x,y)+max(x,y) = = = y+max(x,y) y+x x+y

def de min e hip otesis de caso def de max e hip otesis de caso conmutatividad de la suma

Ejercicio 3. Demuestre, usando el m etodo de prueba por casos, que si tanto x como y son n umeros mayores o iguales a cero: max(x y, y x) = abs(x y ) Tenemos dos casos: x y: max(x y, y x) = abs(x y ) = max(x y, y x) = (x y ) Si x y , entonces x y 0 y por def. de abs Si x y , entonces y x 0. Como x y 0, entonces y x x y y por def de max. Por identidad esto es cierto

(x y ) = (x y )

x < y: max(x y, y x) = abs(x y ) = max(x y, y x) = (x y ) Si x < y , entonces x y < 0 y por def. de abs Si x < y , entonces y x > 0. Como x y < 0, entonces y x > x y y por def de max. Por aritm etica Por identidad esto es cierto

= =

(y x) = (x y ) (y x) = (y x)

Ejercicio 4. Si quitamos la restricci on de x y y son n umeros mayores o iguales a cero se cumple lo siguiente: max(x y, y x) = abs(x y ) En realidad no afecta mucho la demostraci on pero tenemos que escribir los casos en forma distinta. Tenemos dos casos: (x y ) 0: max(x y, y x) = abs(x y ) = max(x y, y x) = (x y ) Si x y 0 por def. de abs Si x y 0, entonces multiplicando por -1: y x 0 Como x y 0, entonces y x x y y por def de max. = (x y ) = (x y ) Por identidad esto es cierto

x y < 0: max(x y, y x) = abs(x y ) = max(x y, y x) = (x y ) Como x y < 0, por def. de abs Si x y < 0, multiplicando por (-1): y x > 0. Como x y < 0, entonces y x > x y y por def de max. Por aritm etica Por identidad esto es cierto

= =

(y x) = (x y ) (y x) = (y x)

Ejercicio 5. Demuestre que si n es un n umero natural entonces el u ltimo d gito de n2 puede ser s olamente 0,1,4,5,6,9.

Note que si es un n umero entre 0 y 9 entonces su cuadrado s olo termina en esos n umeros: 12 = 1 (termina en 1) 22 = 4 (termina en 4) 32 = 9 (termina en 9) 42 = 16(termina en 6) 52 = 25 (termina en 5) 62 = 36 (termina en 6) 72 = 49 (termina en 9) 82 = 64 (termina en 4) 3

92 = 72 (termina en 2) 02 = 0 (termina en 0) Ahora note que si es un n umero de la forma Xd con d entre 0 y 9 y X una secuencia de 1 o m as d gitos, al elevarlo al cuadrado su d gito de m as a la derecha s olo dependera de d no de los demas. Por lo tanto, solo puede comenzar en los n umeros mencionados arriba.

Ejercicio 6. Demuestre que para un n umero entero positivo n, n2 3 no es m ultiplo de 5. (Un n umero A es m ultiplo de 5 si existe un n umero B talque B 5 = A. Adem as si un n umero es m ultiplo de 5 su u ltimo d gito debe ser . . . ???). Por el ejercicio anterior, sabemos que el u ltimo d gito del cuadrado de un n umero s olo puede ser 0,1,4,5,6,9. Adem as sabemos que para que sea m ultiplo de 5, el u ltimop digito debe ser 0 o 5. Podemos hacer el an alisis para cada uno de los casos, para hacer una prueba exhaustiva. Si el u ltimo d gito de n2 es : 0 , el u ltimo d gito de n2 3 es 7 1 , el u ltimo d gito de n2 3 es 8 4 , el u ltimo d gito de n2 3 es 1 5 , el u ltimo d gito de n2 3 es 2 6 , el u ltimo d gito de n2 3 es 3 9 , el u ltimo d gito de n2 3 es 76 Como ninguno es 5 ni 0, entonces n2 3 nunca puede ser m ultiplo de 5!

Ejercicio 7. Muestre que: Si n = X Y Z (X por Y por Z) y X, Y y Z son enteros positivos entonces: X 3 n o Y 3 n o Z 3 n. Primero, note que si X, Y y Z son positivos y n = X Y Z, entonces: n es positivo y tamb en 3 n lo es. Ahora, se har a la demostraci on por contradicci on: 3 Suponga que X,Y, y Z son mayores que n, entonces podemos hacer la siguiente deducci on: Expresi on 1 2 3 4 X> Y> Z> 3 3 3 n n justicaci on supuesto supuesto supuesto 3 n 3 n 3 n Multipilcando los lados izquierdos y derechos de las 3 ecuaciones (esto es v alido dado que todos los valores son positivos) aritm etica

XYZ>

XYZ>n

La ultima l nea contradice el hecho que n = X Y Z, por lo tanto la suposici on que todos son mayores que 3 n es falsa y por lo tanto: X 3 n o Y 3 n o Z 3 n.

Ejercicio 8. Para A, X y Y enteros positivos, demuestre o refute: A < X + Y < 2 A y X > Y entonces X A y Y A. Es falso. Considere los siguientes valores para A, X , y Y . A= 10 X= 7 Y= 5 Vemos que: 10 < 7 + 5 < 2 10 7>5 Pero no se cumple 7 > 10

Ejercicio 9. Suponga que queremos agregar el siguiente operador l ogico al c alculo proposicional: p Demuestre la siguiente equivalencia: f alse Ecuaci on f alse q q (p q ) q q equivalencia aplicada def id (8)

(f alse q ) q

Ejercicio 10. Demuestre la siguiente equivalencia: (p Ecuaci on (p q ) q

q ) q q equivalencia aplicada def de Morgan absorci on

(p q ) q (p q ) q q

Ejercicio 11. Muestre que ser a v alido agregar la siguiente regla de inferencia (p p q Debemos demostrar: ((p q ) p) q (9) q)

Ecuaci on 1 2 3 4 5 6 p (p q)

justicaci on Hip otesis Hip otesis Def (2)

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

Doble Neg (3) def (4) Modus Ponens (1,5)

Ejercicio 12. Suponga que queremos agregar el siguiente operador l ogico al c alculo proposicional: p Lo anterior, tambi en es equivalente a: p Demuestre la siguiente equivalencia: true q (p q ) q true (11) q (p q ) (10)

expresi on true = Demostraci on. = = = = q

equivalencia aplicada Denici on de Denici on de false Denici on de Negaci on de false Dominaci on de

true q f alse q f alse q true q true

Ejercicio 13. Demuestre la siguiente equivalencia: f alse

q q

expresi on f alse = Demostraci on. = = = = q

equivalencia aplicada Denici on de Negaci on de false Denici on de Denici on de false Identidad de

f alse q true q true q f alse q q

Ejercicio 14. Demuestre o refute la siguiente equivalencia: p

true p

expresion (p Demostraci on. = = = true)

equivalencia aplicada por denci on de identidad de Doble negaci on

(p true) (p) p

Otra soluci on: podemos denir y demostrar un lema: p qqp equivalencia aplicada por denci on de de Morgan doble negaci on denici on de (12)

expresion (p = Demostraci on. = = = q)

(p p) p q p q q p

Llamaremos este lema Denici on 2 de

. Usando el lema: expresion (p true) equivalencia aplicada Denici on 2 de identidad izquierda de

Demostraci on. = = true p p

A un cuando la identidad derecha de la implicaci on no est a en los res umenes, s se vio en clase. En todo caso es f acil de probar. expresion (true p) Demostraci on. = = = true p f alse p p equivalencia aplicada def de def f alse identidad

Ejercicio 15. Demuestre o refute la siguiente equivalencia: (p Es falso. Considere p = true y q = f alse. expresion (p = Demostraci on. = = = = (true (true q ) (q p) true)

q ) (q

p)

equivalencia aplicada reeemplazamos por los valores por el punto anterior por denici on de por dominaci on de Negaci on de false Y ESTO ES FALSO !!

f alse) (f alse f alse) f alse

(true f alse) f alse (f alse) f alse true f alse

Usando el lema

expresion (p = Demostraci on. = = = (true q ) (q p) true) true)

equivalencia aplicada reeemplazamos por los valores por Denici on 2 de f alse p true por el punto anterior Y ESTO ES FALSO !!

f alse) (f alse

(f alse true) (f alse true (f alse true f alse true)

Ejercicio 16. Muestre que ser a v alido agregar la siguiente regla de inferencia p q p q

Debemos demostrar: (p

q) q) p expresi on 1 2 Demostraci on. 3 4 5 6 p q justicaci on hip otesis Denici on de hip otesis doble negaci on (3) Modus tollens (4,2) Doble negaci on (5) (1)

p q q q p p

Ejercicio 17. Muestre que ser a v alido agregar la siguiente regla de inferencia (p q ) (p q ) q

expresion 1 2 3 4 5 Demostraci on. 6 7 8 9 10 11 12 Usando el lema: expresion 1 2 Demostraci on. 3 4 5 (p q ) (p q ) qp q p q Justicaci on Hip otesis Hip otesis (p q ) (p q ) (p q ) p q p q (p q ) p q p q (p q ) (p q ) (p p) q f alse q q

Justicaci on Hip otesis Hip otesis por denci on de por de Morgan (3) doble negaci on (4) por denci on de por de Morgan (6) doble negaci on (7) composici on (8,5) Distributividad / (9) Negaci on (10) identidad (11) (2) (1)

por denici on 2 de por denici on 2 de

(1) (2)

Lema (P Q) (P Q) P (3,4)

Tenemos que demostrar el lema (que de ac a en adelante llamaremos Lema 2). Vamos a usar un variaci on de la prueba por contradicci on. Suponemos la negaci on de lo que queremos probar y llegamos a a lo que queremos probar. Esto da una contradicci on pues P y no P es falso. Esta t ecnica de demostraci on se conoce como Consequentia Mirabilis. ((P P ) P ) (13)

10

expresion 1 2 Demostraci on. 3 4 5 6 (p q ) (p q ) ((p)) p q p

Justicaci on Hip otesis Hip otesis supuesto Doble Negaci on Modus Ponens 4,2 Modus Tollens 5,1

Por lo tanto, como al suponer ((p)) llegamos a (p), podemos concluir (p) !!! Otra manera de demostrar lo mismo: expresion 1 2 Demostraci on. 3 4 5 6 (p q ) (p q ) (q p) (p p ) p p p Justicaci on Hip otesis Hip otesis Contra positiva (1) Transitividad (2,3) Denici on de Idempontencia

Ejercicio 18. Suponga que queremos agregar el siguiente operador l ogico al c alculo proposicional: p q ((p) q ) (14)

Demuestre la siguiente equivalencia: f alse

qq

11

Ecuaci on f alse q

equivalencia aplicada def def Doble negaci on id

((f alse) q ) ( (f alse) q ) (f alse q ) q

Ejercicio 19. Demuestre la siguiente equivalencia: p

true true

Ecuaci on p true

equivalencia aplicada def def Dominaci on

((p) true) ((p) true) true

Ejercicio 20. Demuestre la siguiente equivalencia: p

qq

12

Ecuaci on p q

equivalencia aplicada def def Doble negaci on conmutatividad Doble negaci on def def

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

Ejercicio 21. Muestre que ser a v alido agregar la siguiente regla de inferencia p q p Debemos demostrar: (p Ecuaci on 1 2 3 4 5 p q q ) q q justicaci on hip otesis def (1) (15) q

((p) q ) q (p) p

hip otesis Modus Tollens (2,3) Doble negaci on (4)

Ejercicio 22. Demuestre Dominaci on de : p true true

13

expresi on p true = = = = = p true (p true) (p f alse) (f alse) true

equivalencia aplicada doble negaci on de Morgan (dederecha a izquierda) denici on de false dominaci on de negaci on de false

Ejercicio 23. Demuestre Asociatividad de : (p q ) r p (q r)

expresi on (p q ) r = = = = = = = ((p q ) r) ((p q ) r) ((p q ) r) (p (q r)) p (q r)) p (q r) p (q r)

equivalencia aplicada doble negaci on de Morgan de Morgan asociatividad de Morgan de Morgan doble negaci on

Ejercicio 24. Demuestre Idempotencia de : p p p

14

expresi on pp = = = = p p (p p) p p

equivalencia aplicada doble negaci on de Morgan idempotencia de doble negaci on

Ejercicio 25. Demuestre la denici on 2 de XOR : p XOR q (p q) (p q)

expresi on p XOR q = = = = = = (p q ) ((p q ) (p q )) (p q ) (p q ) (p q ) (p q ) (p q ) (p q ) (p q ) (p q )

equivalencia aplicada denici on de XOR denici on3 de de Morgan de Morgan doble negaci on simetr a

Ejercicio 26. Demuestre que ser a v alido agregar la siguiente regla de inferencia. p XOR q p q Debemos demostrar el siguiente teorema: Teorema 1. ((p XOR q) p) q

15

expresi on 1 2 3 4 5 p p XOR q (p q ) (p q ) (p q ) q

justicaci on hip otesis hip otesis denici on 2 de XOR (2) Simplicac on 3 Silogismo disyuntivo (1,4)

Ejercicio 27. Considere las siguientes hip otesis: H1 : HS LB P B H2: LB HB P B Demuestre la siguiente conclusi on: (HS LB ) P B Por lo tanto, lo que se va a demostrar es: (H 1 H 2) ((HS LB ) P B ) lo cual por la equivalencias: asociatividad de y asociatividad de es equivalente a demostrar: (H 1 H 2 HS LB ) HB

expresi on 1 2 3 4 5 6 7 HS HS (LB P B ) (LB P B ) LB P B LB P B LB PB

justicaci on Premisa H1 Deduccion3 con (1,2) De Morgan (3) doble negaci on (4) hip otesis Disjunctive Syllogism (6, 7)

16