Ejercicios

1. Sean p, q, r las proposiciones siguientes: p = "esta lloviendo" q = "el sol esta brillando" r = "hay nubes en el cielo" Traduzca la siguiente notacin lgica, utilizando p, q, r y conectivos lgicos. a) Esta lloviendo y el sol esta brillando. b) Si esta lloviendo entonces hay nubes en el cielo. c) Si no esta lloviendo, entonces el sol no esta brillando y hay nubes en el cielo. d) El sol esta brillando si y solo si no esta lloviendo. e) Si no hay nubes en el cielo, entonces el sol esta brillando. Respuestas a) p ^ q b) p r c) p (q ^ r) d) q p e) r q 2. Sean p, q, r las proposiciones siguientes: a) (p ^ q) r b) (p r) q c) p (q r) d) (p (q r)) e) (p q) r Respuestas a) Esta lloviendo y el sol esta brillando entonces hay nubes en el cielo. b) Esta lloviendo entonces hay nubes en el cielo entonces esta el sol esta brillando. c) No esta lloviendo si y solo si el sol esta brillando o hay nubes en el cielo. d) No esta lloviendo si y solo si el sol no esta brillando o no hay nubes en el cielo. e) No esta lloviendo o el sol no esta brillando y hay nubes en el cielo 3. Aunque normalmente utilizaremos "implica" y "si. . . entonces" para describir una implicacin, en la practica surgen otras palabras y frases como en los siguientes ejemplos. Sean p, q y r las proposiciones: P = "la bandera esta puesta," q = "I = 0," r = "la subrutina S ha terminado."

Traduzca cada una de las siguientes proposiciones a smbolos utilizando las letras p, q, r y los conectivos lgicos.

a) Si la bandera esta puesta entonces I = 0. b) La subrutina S ha terminado si la bandera esta puesta. c) La bandera esta puesta si la subrutina S no termina. d) Siempre que I = 0 la bandera esta puesta. Matemticas Discretas e) La subrutina S ha terminado solo si I = 0 f) La Subrutina S ha terminado solo si I = 0 o la bandera esta puesta. Ntese la ambigedad de la parte f); hay dos respuestas distintas, cada una con su validez propia. .Ayudara la puntuacin'. Respuestas a) p q b) p r c) r p d) q p e) r q f) r (q p) o (r q) p 4. Considere las siguientes proposiciones: r = "ODD(N) = T," m = "la salida va al monitor," p = "los resultados van a la impresora." Traduzca, como el ejercicio 4, las siguientes proposiciones. a) La salida va al monitor si ODD(N) = T b) La salida va a la impresora siempre que no sea verdadero ODD(N) = T. c) ODD(N) = T solo si la salida va al monitor d) La salida va al monitor si la salida va a la impresora. e) ODD(N) = T o la salida va al monitor si la salida va a la impresora. Respuestas a) r m b) r p c) r m d) m p e) p (r m) 5. Determine los valores de verdad de las siguientes proposiciones compuestas: a) Si 2 + 2 = 4, entonces 2 + 4 = 8 b) Si 2 + 2 = 5, entonces 2 + 4 = 8 c) Si 2 + 2 = 4, entonces 2 + 4 = 6 d) Si 2 + 2 = 5, entonces 2 + 4 = 6 e) Si la tierra es plana, entonces Julio Cesar fue el primer presidente de Estados Unidos.

f) Si la tierra es plana, entonces Jorge Washington fue el primer presidente de Estados Unidos. g) Si Jorge Washington fue el primer presidente de Estados Unidos, entonces la tierra es Plana. h) Si Jorge Washington fue el primer presidente de Estados Unidos, entonces 2 + 2 = 4. Respuestas. a) v f b) f f c) v v d) f v e) f f f) f v g) v f h) v v 6. Supngase que sabemos que p q es falso. Proporcione los valores de verdad para: a) p ^ q b) p v q c) q p Respuestas. a) 0 b) 1 c) 1 7. Construya las tablas de verdad de a) p ^ p b) p v p c) p p d) p Respuestas. a) p P V F f v b) p p V F F V c) p P V F F V

p ^ p F F P V p V V p p F F

d) P V F

p F V

p V F

8. Construya las tablas de verdad de a) (p ^ q) b) (p v q ) c) p ^ q Matemticas Discretas Respuestas. a) P q V V V F F V F F b) P q V V V F F V F F c) p P q V V F V F F F V V F F V d) p P q V V F F V F V F F F V V

d) p v q

(p ^ q) V F F F (p v q ) V V V F q F V F V q F V F V

(p ^ q) F V V V (p v q ) F F F V p ^ q F V F V p v q F V V V

9. Construya la tabla de verdad de (p q) [ (p v q) (p ^ q) ]. Respuestas. p V V F F q V F V F p q V F V V p v q V V F V p^q V F F F (p v q) (p ^ q) V F V F (p q) [ (p v q) (p ^ q) ]. V V V F

10. Construya la tabla de verdad de [(p v q) ^ r] (p ^ q) . Respuestas. q F F V V F F V V p ^ q F F V V F F V V [(p v q) ^ r] (p ^ q) F V V V F V V V

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pvq V V V V V V F F

(p v q) ^ r V F V F V F F F

11. Construya la tabla de verdad [(p q) v (p r)] (q ^ p) Matemticas Discretas Respuestas. q ^ p [(p q) v (p r)] (q ^ p) p q r p q p r [(p q) v (p r)] V V V V V V F F V V F V F V F F V F V F V V V V V F F F F F V V F V V F V V F F F V F F V V F F F F V V V V F F F F F V V V F F p q r [(p q) v (p r)] (q ^2 3 2 4 2 3

12. Construya la tabla de verdad a) (p v q) r b) ((p v q) r) Respuestas. A) (p v q) p q r (p v q) (p v q) r V V V V F V V V F V F V V F V V F V V F F V F V F V V V F V F V F V F V F F V F V V F F F F V F B) p V V V V F F F F (p v q) r V F V F V F V V ((p v q) r) F V F V F V F F

q V V F F V V F F

r V F V F V F V F

pvq V V V V V V F F

pas1 1 1 4 2 3 13. Verifique las siguientes equivalencias lgicas utilizando tablas de verdad. a) La ley distributiva, regla 4a. Respuestas. a) Ley distributiva, regla 4a. [p v (q ^ r)] [(p v q) ^ (p v r)] p q r [p v (q ^ r)] [(p v q) ^ (p v r)] p q r q ^ r p v (q ^ r) p v q p v r (p v q) ^ (p v r) [p v (q ^ r)] [(p v q) ^ (p v r)] V V V V F F F F V V F F V V F F V F V F V F V F V F F F V F F F V V V V V F F F V V V V V V F F V V V V V F V F V V V V V F F F V V V V V V V V

232

14. Verifique las siguientes equivalencias lgicas utilizando tablas de verdad. a) Regla 12a. b) Ley de exportacin, regla 14 Respuestas. a) [(p r) ^ (q r)] [(p v q) r)] 32423 p q r [(p r) ^ (q r)] [(p v q) r)] V V V V V V F V V F V F V F F V F V V V F V F V F F V V F F F V b) [(p ^ q) r)] [p (q r)] p q r V V V V V V V F V V F V V V F F V F V V V F V F V F F V V F F f V 125324

15. Verifique las siguientes implicaciones lgicas utilizando tablas de verdad. a) Modus tollens, regla 20. b) Silogismo disyuntivo, regla 21 Respuestas. a) Modus tollens, regla 20. [(p q) ^ q] p p q [(p q) ^ q] p p q . [(p q) ^ q] p V V V V F V F V V F F V 23243

b) Silogismo disyuntivo, regla 21.[(p v q) ^ p] q p q [(p v q) ^ p] q p q [(p v q) ^ p] q V V V V F V F V V F F V 2324 16. Pruebe o refute lo siguiente. Ntese que basta una lnea de la tabla de verdad para mostrar que una proposicin no es una tautologa. a) (q p) (p ^ q) b) (p ^ q) (p q) c) (p ^ q) (p v q) Respuestas. a) p q (q p) (p ^ q) (p ^ q) P q (q p) (q p) (p ^ q) V V V V V V F F F V F V V F F F F V F F No es tautologa b) p P V V F F q V F V F (p ^ q) F V F F (p q) V F V V (p ^ q) (p q) V F V V

No es tautologa c) p q (p ^ q) P q V V V F F V F F Es tautologa

(p ^ q) V F F F

(p v q) V V V F

(p ^ q) (p v q) V V V V