Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

Trabajo Prctico No 1: Nociones Bsicas de Lgica

1. Cules de estas frases son proposiciones? Cul es el valor de verdad de aquellas que son proposiciones? a ) es un nmero racional b) x > 5 c ) Juan es amigo de Pedro? d ) Cierra la puerta. e ) 8 + 10 = 18 f ) Japn es un pas asitico g ) Chaco pertenece a la Patagonia.

2. Sean p y q los enunciados Yo estoy equivocado y La primera pregunta es verdadera , respectivamente. Expresar cada una de las siguientes frmulas en lenguaje natural. a ) :p c ) :p ^ q e ) :q ! :p f ) :p ! :q g) p $ q

b) p _ q

d) q !p

h ) :q _ (:p ^ q )

3. Considerar los enunciados p :Haces todos los problemas del libroy q :Apruebas el examen nal . Escribir los siguientes enunciados usando p, q y los conectivos lgicos. a ) No haces todos los problemas del libro. b ) Haces todos los problemas del libro pero no apruebas el examen nal. c ) Apruebas el examen nal o no haces todos los problemas del libro. d ) Hacer todos los problemas del libro es suciente para aprobar el examen nal. e ) Siempre que haces todos los problemas del libro apruebas el examen nal. f ) Si no haces todos los problemas del libro no aprobars el examen nal. g ) Aprobars el examen nal si haces todos los problemas del libro. 4. Determinar si los siguientes enunciados son verdaderos o falsos. a ) 1 + 1 = 2, entonces los cerdos vuelan. b ) 1 + 1 = 2 si, y slo si, 2 + 3 = 4. c ) Es invierno si, y slo si, no es primavera, verano u otoo. d ) 0 > 1 si, y slo si, 2 > 1. e ) Si 1 + 1 = 3, entonces 2 + 2 = 4. f ) Si 1 + 1 = 3, entonces 2 + 2 = 5. g ) Si 1 + 1 = 2, entonces 2 + 2 = 4. h ) Si 1 + 1 = 3, entonces Dios existe. 5. a ) Escribir cada uno de los siguientes enunciados de la forma si p entonces q .

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

(i) Estars informado cuando leas el peridico. (ii) Puedes sacarte un 10 en esta materia si aprendes a resolver problemas de matemtica discreta. (iii) Tribu nmada implica chozas no permanentes. (iv) Es necesario que dos elementos se unan qumicamente formando una nueva sustancia para que se denomine un compuesto. (v) Duermo la siesta siempre que no tenga que ir a trabajar. (vi) Una condicin suciente para que la garanta sea vlida es que se haya comprado la computadora hace menos de un ao. (vii) Que me gusten los perros es consecuencia de haber tenido muchos de ellos de pequea. b ) Enunciar la recproca y la contrarecproca de cada una de las implicaciones del item anterior. 6. Construir la tabla de verdad para cada una de las siguientes proposiciones compuestas. Indicar en cada caso si se trata de una tautologa, una contradiccin o una contingencia. a ) :p ^ p b ) :p _ p c ) (p _ :q ) ! q e ) (p ! q ) $ (:q ! :p) f ) (p ! q ) ! (q ! p)

d ) (p _ q ) ! (p ^ q )

7. Indicar si cada una de las siguientes armaciones es verdadera o falsa. a ) Si p es verdadera y q falsa, entonces p ^ q es verdadera. c ) La sentencia (p $ q ) $ (:q $ :p) es una tautologa.

b ) Si p es verdadera, q es falsa y r es falsa, entonces p _ (q ^ r) es verdadera.

d ) Las sentencias p ^ (q _ r) y (p _ q ) ^ (p _ r) son lgicamente equivalentes. e ) Si p ! q es falsa entonces :(p ^ q ) ! q es falsa. f ) Si p ! q es verdadera entonces :p ^ (p ! q ) es verdadera.

8. Averigar si p ^ q implica lgicamente la proposicin indicada en cada caso. Puede hacerse sin construir la tabla de verdad? a) p b) p $ q c) q d) p!q e) p _ q g ) :p _ q

f) p_r

h ) p ^ :q

9. a ) Probar que cada proposicin de la columna I es lgicamente equivalente a la proposicin

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

correspondiente en la columna II, sin utilizar tablas de verdad. I

A) B) C) D) E) F) G) H) I) J) K) L) M) N) O) P) Q) R)

II (p _ q ) _ r (p ^ q ) ^ r q_p q^p p p (p _ q ) ^ (p _ r ) (p ^ q ) _ (p ^ r )

Propiedad _ es asociativa ^ es asociativa _ es conmutativa ^ es conmutativa _ es idempotente ^ es idempotente _ es distributiva respecto de ^ ^ es distributiva respecto de _ ley de absorcin ley de absorcin Primera ley de De Morgan ley de acotacin ley de acotacin ley del complemento ley del complemento

p _ (q _ r) p ^ (q ^ r) p_q p^q p_p p^p p _ (q ^ r) p ^ (q _ r)

p _ (p ^ q ) p p ^ (p _ q ) p ::p :(p ^ q ) p !q q_C p^T p ^ :p p _ :p p!q p :p _ : q (p ! q ) ^ (q ! p) q p C T :p _ q

Tabla 1

b ) Probar que cada proposicin de la columna I es lgicamente equivalente a la proposicin correspondiente en la columna II. I :(p _ q ) p^C p_T p_q p!q C T :p ! q :q ! :p
Tabla 2

II :p ^ :q Segunda ley de De Morgan

:(p ! q ) p ^ :q

c ) Utilizando las equivalencias de las Tablas 1 y 2, obtener la negacin de los enunciados del Ejercicio 3.

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

10. Determinar, sin construir tablas de verdad, cules de las siguientes implicaciones es una tautologa. a ) p ! (q ! p)

b ) ((p ! :q ) ^ :p) ! q

c ) ((p _ q ) ^ r) ! (p _ (q ^ r))

11. Encontrar frmulas lgicamente equivalentes a las siguientes en las que aparezcan solamente los conectivos : y ^. a) p $ q b) (p ^ q ) ! (:p ^ r) c) (p ! q ) ! r 12. Analizar la validez de los siguientes argumentos por dos mtodos diferentes. a) p ^ q :p ! q :q c) p q!s p ! :q :s d) p ! q :q r ! ( s _ p) r!s

b) p q ! (s ^ t) p ! (r ^ q ) s

13. Demostrar los siguientes argumentos utilizando el mtodo de resolucin. a ) p ! :q r_p q_s r_s c) p ! q q!s p!s e ) :p _ t q!s r!t p_q_r_u s_t_u

b) p ! q :p ! r q_r

d) r ! s q p ! (q ! r ) :p _ s

14. Analizar la validez de los siguientes argumentos: a ) Si el reloj est adelantado, entonces Juan lleg antes de las diez y vio partir el auto de Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el auto de Andrs. O Andrs dice la verdad o estaba en el edicio en el momento del crimen. El reloj est adelantado. Por lo tanto, Andrs estaba en el edicio en el momento del crimen. b ) Si gan la lotera, soy rico. No gan la lotera. Por lo tanto, no soy rico. c ) Si Toms tiene 17 aos, entonces tiene la misma edad que Juana. Si Joaqun tiene distinta edad que Toms, entonces Joaqun tiene distinta edad que Juana. Toms tiene 17 aos y Joaqun tiene la misma edad que Juana. Por lo tanto, Joaqun tiene la misma edad que Toms y Toms la misma edad que Juana. d ) Si Carlos aumenta de peso, entonces abus de dulces o abus de pastas. Si Carlos no abus de dulces, entonces est mintiendo. Si Carlos est mintiendo y aumenta de peso, entonces no abus de pastas. Por lo tanto, Carlos abus de dulces.

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

15. Considerar las siguientes hiptesis: O el ladrn atraves la puerta, o el delito fue cometido desde dentro y uno de los sirvientes est implicado en l. El ladrn atraves la puerta slo si el cerrojo fue levantado desde dentro. Uno de los sirvientes est implicado en el delito si el cerrojo fue levantado desde el interior. Cules de las siguientes conclusiones pueden deducirse de dichas hiptesis? a ) El delito fue cometido desde dentro. b ) El ladrn atraves la puerta o uno de los sirvientes est implicado. 16. Los siguientes problemas fueron planteados inicialmente por Raymond Smullyan en su libro What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles, PrenticeHall, Englewood Clis, NJ, 1978. Smullyan plante muchos juegos lgicos acerca de una isla con dos clases de habitantes: caballeros, que siempre dicen la verdad, y sus opuestos, los villanos, que siempre mienten. Te encuentras a dos personas A y B habitantes de esa isla. Determina, si es posible, qu son A y B en cada caso. Si no puedes determinar qu son estas personas, puedes deducir alguna concusin? a ) A dice Los dos somos caballeros y B dice A es un villano . b ) A dice Yo soy un villano o B es un caballero y B no habla. c ) Tanto A como B dicen Yo soy un caballero . 17. Demostrar que el cuadrado de un nmero par es un nmero par, utilizando: a ) Una demostracin directa. b ) Una demostracin por el absurdo. 18. Demostrar que si n es un nmero entero y 3n + 2 es un nmero par, entonces n es un nmero par, usando: a ) Una demostracin por el contrarrecproco. b ) Una demostracin por el absurdo. 19. Demostrar que si x; y 2 R entonces se verica que jxj + jy j conoce como la desigualdad triangular.) jx + y j. (Esta desigualdad se

20. Sea n un nmero natural. Demostrar que n es un nmero impar si y slo si 7n + 4 es un nmero impar. 21. Demostrar que las siguientes tres sentencias son equivalentes: a ) 3x + 6 es un nmero par. b ) x + 7 es un nmero impar.

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

c ) x es un nmero par. 22. Se denota por Q(x; y ) el predicado x es la cuarta parte de y . Cules son los valores de verdad de los siguientes enunciados? El dominio de ambas variables es el conjunto de los nmeros reales. a ) Q(30; 120) b ) Q( 5; 20) c ) Q(4; 1) d ) Q(0; 0)

23. Indicar el valor de verdad de cada uno de los siguientes enunciados, donde Q(x) es el predicado x + 1 > 2xy el dominio consiste en todos los enteros. a ) Q(0) b ) Q(1) c ) 9xQ(x) e ) 9x:Q(x) f ) 8x:Q(x)

d ) 8xQ(x)

24. Sea P (x) el predicado x es mayor que yo , siendo el dominio de x el conjunto de todos los estudiantes de la clase de Matemtica Discreta. Expresar cada uno de los siguientes enunciados en lenguaje natural. a ) 9xN (x) b ) 8xN (x) c ) :9xN (x) e ) :8xN (x) f ) 8x:N (x)

d ) 9x:N (x)

25. Traducir los siguientes enunciados a lenguaje natural, donde C (x) es x es un caballo , F (x) es x se usa para jugar al polo y el dominio de x consiste en todos los animales. a ) 8x(C (x) ! F (x)) b ) 8x(C (x) ^ F (x)) c ) 9x(C (x) ! F (x))

d ) 9x(C (x) ^ F (x))

26. Sea P (x) el predicado x sabe programar en Java y Q(x) x conoce el lenguaje de programacin C . El dominio para la variable x consiste en todos los alumnos de la Facultad de Ingeniera. Expresar cada uno de los siguientes enunciados en trminos de P (x), Q(x), cuanticadores y conectivos lgicos. Luego formar la negacin del enunciado de tal manera que ningn smbolo de negacin quede a la izquierda de un cuanticador. Finalmente, expresar la negacin de cada frase en lenguaje natural. (No usar simplemente las palabras No se cumple que ... ). a ) Hay un estudiante de la Facultad de Ingeniera que sabe programar en Java pero no conoce el lenguaje de programacin C. b ) Ningn estudiante de la Facultad de Ingeniera sabe programar en Java o conoce el lenguaje de programacin C. c ) Todos los estudiantes de la Facultad de Ingeniera saben programar en Java y conocen el lenguaje de programacin C. d ) Hay un estudiante de la Facultad de Ingeniera que no sabe programar en Java y no conoce el lenguaje de programacin C. 27. Suponer que el dominio de la variable x consiste en los enteros 3, 1, 1 y 3. Expresar los siguientes enunciados sin usar cuanticadores, slo disyunciones, conjunciones y negaciones. Indicar el valor de verdad de cada enunciado para el predicado P (x):x es impar .

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

a ) 9xP (x) b ) 8xP (x) c ) 8x ((x 6= 1) ! P (x))

d ) 9x ((x

0) ^ P (x))

e ) (9x:P (x)) ^ (8x (x < 0) ! P (x))

28. Traducir cada una de estas frases a expresiones lgicas usando predicados, cuanticadores y conectivos lgicos. Especicar en cada caso el dominio considerado. a ) Todos tus compaeros de clase han nacido en la dcada del 90 y han aprobado lgebra. b ) Cada uno de tus compaeros ha nacido en la dcada del 90. c ) Un compaero de clase que no ha nacido en la dcada del 90 no ha aprobado lgebra. d ) Ninguno de tus compaeros de clase ha aprobado lgebra. e ) No todos tus compaeros han nacido en la dcada del 90 y alguien ha aprobado lgebra. f ) Todos tus compaeros han nacido en la dcada del 90. g ) No todos tus compaeros de clase han aprobado lgebra. 29. Traducir cada uno de los siguientes enunciados al lenguaje natural y determinar su valor de verdad. El dominio para todas las variables es el conjunto de los nmeros enteros. a) b) c) d) 9x(x 7 = 0; 5) 8x(x > 0) 9x8y (x:y = y ) 8x9y (x > y ) e ) 8x8y ((x > y ) _ (x y ))

f ) 8x8y (((x < 0) ^ (y < 0)) ! (x:y > 0)) g ) 8x8y 9z (x:y = z )

30. Expresar cada uno de los siguientes enunciados usando operadores matemticos y lgicos, predicados y cuanticadores. El dominio consiste en todos los enteros. a ) La suma de dos enteros negativos es negativa. b ) La diferencia de enteros positivos no es necesariamente positiva. c ) La suma de los cuadrados de dos enteros es mayor o igual que el cuadrado de su suma. d ) El valor absoluto del producto de dos enteros es el producto de sus valores absolutos. 31. Determinar el valor de verdad de cada uno de los siguientes enunciados si el dominio de todas las variables es el conjunto de los nmeros reales. Luego traducirlos al lenguaje natural. a ) 8x9y (x2 = y ) b ) 8x9y (x = y )
2

f ) 9x8y (y 6= 0 ! xy = 1) g ) 8x9y (x + y = 1) h ) 9x9y ((x + 2y = 2) ^ (2x + 4y = 5)) i ) 8x8y 9z (z = (x + y )=2)

d ) 9x9y (x + y 6= y + x)

c ) 9x8y (xy = 0)

e ) 8x(x 6= 0 ! 9y (xy = 1))

32. Reescribir cada uno de los siguientes enunciados de tal forma que las negaciones no aparezcan a la izquierda de algn cuanticador.

Nociones Bsicas de Lgica

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

a ) :8x8yP (x; y ) b ) :8y 9xP (x; y ) c ) :8x8y (P (x; y ) _ Q(x; y ))

d ) :((9x9y :P (x; y )) ^ (8x8yQ(x; y ))) e ) :8x((9y 8zP (x; y; z )) ^ (9z 8yP (x; y; z )))

33. Si es posible, encontrar un contraejemplo para los siguientes enunciados. El dominio de las variables consiste en el conjunto de los nmeros enteros. a ) 8x8y (x2 = y 2 ! x = y ) b ) 8x9y (y 2 = x) c ) 8x8y (xy x)

Bibliografa sugerida: 1) K. H. Rosen, Matemtica Discreta y sus Aplicaciones, McGraw-Hill, Quinta Edicin, 2004. Captulo 1, secciones 1.1 a 1.5. 2) R. Johnsonbaugh, Matemticas Discretas, Pearson Educacin. Sexta Edicin, 2005. Captulo 1.

Nociones Bsicas de Lgica