Universidad San Sebasti an Facultad de Ingenier a y Tecnolog a 05/04/2010 Algebra (INGE0001) Listado 1 - L ogica Matem atica 1.

. Indicar cu al(es) de los siguientes enunciados corresponden a proposiciones: a) 2 + 2 = 5 b ) 1 + 2 + 3 + ... + 15 = 120 c ) x2 + 1 < 10 d ) x2 + 2x + 4 > 0 e ) Hola que tal! f ) La cartelera de cine. g ) No todos los hombres son inmortales. h ) Hoy hace fr o. i ) Ayer estuvo nublado. j ) Existen los extraterrestres. k ) Es divertido faltar a clases. l ) Carlos Santana es un buen guitarrista. m ) Que pocos ramos tiene el primer semestre! 2. En los siguientes ejercicios diga, en cada caso, si el enunciado es o no una proposici on. En caso armativo, diga su valor de verdad. a ) Julio C esar fue presidente de Chile. b ) 2 + 2 = 4. c ) Si la tierra es plana, entonces 2+2=4. d ) En tu casa o en la m a? e ) Ayudeme, por favor! f ) La matem atica es importante. g ) Existen dos soluciones para la ecuaci on x2 + 4 = 20, y ambas soluciones son enteras. h ) Si x es cualquier n umero entero, entonces x2 es un n umero entero positivo. i ) V e en su casa. j ) x es mayor que y . k ) 15 es un n umero primo. 1 D. Inzunza H.

l ) a + b = 17. m ) La poblaci on de Chile es de siete millones. n ) Las mesas son cuadradas. n ) Bello d a? 3. En los siguientes problemas, escriba cada una de las proposiciones dadas en forma simb olica. a ) Luis es estudiante y Juan es zapatero. b ) El domingo es un d a feriado o Jos e ha sido expulsado. c ) Si 2 + 2 = 4, entonces 3 + 3 = 8. d ) O 3 + 4 = 7 o la Tierra es plana. e ) Antonio es hijo de Luis si, y s olo si Luis es el padre de Antonio. 4. Sean las proposiciones p : El n umero 9 es divisor de 576 y q : El n umero 792 es m ultiplo de 6, escribir con palabras: a) p b) p q c) p q d) p q e) p q f) p q g ) p q h ) (p q ) i ) p q

Luego, determinar el valor de verdad de cada una de las proposiciones anteriores. 5. Confeccionar la tabla de verdad para las siguientes proposiciones: a) p b) p q c) p q d) p q e) p q f) p q g ) p q h ) (p q ) i ) p q j ) (p q ) p k ) ( p q ) p l ) (p q ) q

6. Decidir si las siguientes proposiciones corresponden o no a Tautolog as: a ) (p q ) q b ) (p q ) q c ) [p (p q )] p d ) [( p q ) p] [ (p q ) q ]

7. Considerar las proposiciones p : 3+5=8, q : 4+6=10, r : 53=15 y r : 31=1. Hallar el valor de verdad para cada una de las proposiciones siguientes: a ) (p q ) q b ) (p q ) r c ) p s d ) (r s) e ) [p (q r)] s f ) [( s p) r] [ (p q ) p]

8. Hallar las armaciones rec proca, contraria y contrarrec proca para cada una de las siguientes armaciones dadas: a ) Si dos rectas son paralelas a una misma recta, entonces ellas son paralelas. b ) Dos tri angulos que tienen angulos y lados hom ologos iguales son semejantes. c ) Todo n umero divisible por 3 es un m ultiplo de 6. d ) Los profesores de Matem atica chilenos no son muy buenos, es por eso que los estudiantes no llegan con una buena base para estudiar Algebra y C alculo cuando ingresan a la Universidad. e ) Ning un equipo de f utbol en Chile es realmente profesional, por eso ninguno ha ganado la Copa Intercontinental. f ) Como los asesinos en serie son inteligentes, la polic a no los captura f acilmente. g ) Desde la edad pre-escolar en Finlandia los estudiantes tienen entre sus actividades extraprogram aticas talleres de guitarra, por esta raz on en ese pa s hay muchos grupos de Rock. h ) Si un punto P est a fuera de la recta L1 , entonces existe solamente una recta L2 que es paralela a L1 . i ) Si f (a) = f (b) entonces a = b. j ) Si el recorrido de una funci on es igual a su codominio entonces ella es sobreyectiva. k ) Si alguien logra demostrar la conjetura de Golbach ganar a mucho dinero. 9. Dadas las proposiciones p : Los n umeros x e y son m ultiplos de 3 y q : El producto de los n umeros x e y es un m ultiplo de 3. Analizar c uales de las siguientes proposiciones son verdaderas: a ) p es condici on suciente para q . b ) p es condici on necesaria para q . c ) p si y s olo si q . 10. Considerar la siguiente aseveraci on: Esta es una aseveraci on falsa. Es ella una proposici on? Por qu e? 11. De entre tres estudiantes solamente uno estudia L ogica. Si la estudia el primero, tambi en lo hace el tercero, pero no es cierto que si la estudia el segundo, lo hace tambi en el tercero. Qui en estudia L ogica? 12. Los alumnos Aravena, Arros, Escalona y Ferreira ocuparon en la olimpiada de Matem atica los cuatros primeros lugares. Cuando les preguntaron acerca de la distribuci on de los lugares dieron las tres siguientes respuestas: a ) Ferreira: primero; Arros: segundo b ) Ferreira: segundo; Aravena: tercero 3

c ) Escalona: segundo; Aravena: cuarto C omo se distribuyeron los lugares si en cada una de las respuestas s olo una de las armaciones es correcta? 13. Al se nor Flores se le dice lo siguiente: Se sabe que si Martinez no es alumno de Universidad San Sebasti an o Medina es alumno de la Universidad San Sebasti an, entonces Medina es alumno de la Universidad del Desarrollo; y adem as que, si Martinez es alumno de la Universidad San Sebasti an y Medina no es alumno de Universidad del Desarrollo, entonces Medina es alumno de la Universidad San Sebasti an. Luego, se le pregunta En qu e universidad estudia Medina?. Si Flores respondi o correctamente, Cu al fue se respuesta? 14. Decidir si las proposiciones [(p q ) r] y [(p q ) ( q r)] son o no equivalentes. 15. Demostrar que { [ (p q ) q ] q } q es una tautolog a. 16. Sabiendo que (p q ) r es falsa, encontrar el valor de verdad de la proposici on [(p q ) r] [p (q r)]. 17. Sabiendo que la proposici on (q p) [(p r) t] es falsa, determinar el valor de verdad de las proposiciones p, q , t y [( p q ) (r t)]. 18. Sean p y q dos proposiciones simples y sea un conectivo l ogico tal que p q tiene el mismo valor de verdad que p q . a ) Construir la tabla de verdad para p q . b ) Demostrar que ( p q ) ( q p) es l ogicamente equivalente a (p q ). 19. Sea el conectivo denido por la siguiente equivalencia l ogica (p q ) [ (p q )] . Demostrar que p (p q ) p q . 20. Sea el conectivo denido por la siguiente equivalencia l ogica p q [(p q ) ( p q )] . Demostrar que [p (p q )] q . 21. Confecciones las tablas de verdad de las siguientes propsiciones: a ) (p q ) r. b ) (p q ) ( p q ).

22. Sabiendo que p q es verdadero y que q es verdadero, determine el valor de verdad de, [(p q ) q ] q 23. Determine, en cada caso, si la informaci on que se da es suciente para conocer el valor de verdad de las siguientes propsiciones compuestas: a ) (p q ) r; r es verdadera. b ) (p q ) ( p q ); q es falsa. c ) (p q ) (p r); p es verdadera y q es falsa. d ) p (q r); p r es verdadera. 24. Los valores de p, q, r y s son respectivamente V, F, F y V. Obtener los valores de verdad de: a ) [(p q ) r] s. b ) r (s p). c ) (p r) (r s). 25. Si la proposici on ( p q ) ( s r) es falsa, de las siguientes proposiciones , cu ales son verdaderas? a ) [(p q ) r]. b ) [(p q ) p] q . 26. Determine si las siguientes proposiciones compuestas son Tautolog as, Contingencias o Contradicciones: a ) [(p q ) q ] p. b ) (p q ) [(p r) (q r)]. c ) [ p (q r)] [(p r) q ]. d ) ( p q ) ( p q ). e ) [(p q ) r] [(p r) q ]. f ) [(a b) ( a b)] b. g ) ( p r) [(p q ) r]. h ) [(p q ) ( q p)] (p q ). i ) [ a (b c)] [(a b c) ((b c) a)]. j ) [(p q ) ( p r)] ( q r). k ) [p (q q )] p. l ) [(p q ) (p r)] (p r). m ) [(p q ) r] [( p r) q ]. 5

n ) [p (p q )] (q p). n ) [ (a b) ( a b)]. o ) (p q ) [p (q r)]. 27. Determine el valor de verdad de p, q, r en cada una de las siguientes proposiciones compuestas, conocido su valor de verdad. a ) [(p q ) (p r)] [p (q r)] es verdadera. b ) [(p q ) (p r)] [(p q ) (q r)] es falsa. c ) [p (q r)] [(p q ) (p r)] es falsa. d ) [(p q ) (p r)] (p r) es falsa. e ) (p q ) (r q ) es verdadera. f ) [(p q ) p] [(r q ) p] es falsa. 28. Si la proposici on (a b) (b c) es falsa. Determine el valor de verdad de la proposici on [ (c a) (b a) ] c 29. Construya la tabla de verdad de cada una de las proposiciones dadas. a ) (p q ). b ) p q . c ) (p q ) [(p q ) (p q )]. d ) [(p q ) r] (p q ). e ) Escriba en forma simb olica el enunciado:Un n umero p es real y no racional siempre que p sea un irracional, y construya su tabla de verdad. 30. Considere la proposici on, [( p q ) (p r)] [(p q ) (p r)] Analice el valor de verdad de esta proposici on para cada uno de los casos dados. a ) p es falso, q es falso, r es falso. b ) p es falso, q es falso, r es verdadero. c ) p es verdadero, q es falso, r es verdadero. d ) p es verdadero, q es verdadero, r es falso. e ) p es verdadero, q es verdadero, r es verdadero. 31. Clasique cada una de las proposiciones dadas como contingencia, tautolog a o contradicci on. a ) p (p q ). 6

b ) (p q ) (p q ). c ) (p q ) (p q ). d ) [p (q r)] [q (p r)]. e ) (p q ) ( q p). 32. Utilizando tablas de verdad, demuestre las siguientes equivalencias: a ) (p q ) ( p q ). b ) (p q ) ( q p). c ) (p q ) (p q ). d ) (p q ) (p q ) (q p). e ) (p q ) r p (q r). f ) p (q r) (p q ) (p r). 33. Niegue las proposiciones del ejercicios anterior. 34. Niegue los siguienes enunciados: a ) (x)(y )(p(x, y ) q (x, y )). b ) (x)( p(x) q (x)). c ) (y : p(y )) (x : p(x)). d ) (y : p(y )) (x : p(x)). 35. Enuncie la proposici on rec proca, la contra-rec proca y la contraria de cada uno de los siguientes condicionales y determine su validez: a ) (a = 2 b = 5) (ab = 10). b ) Si dos rectas de un plano son paralelas, entonces las rectas no se cortan. c ) Si dos tri angulos son congruentes, entonces las medidas de los angulos correspondientes son iguales. d ) (a = 2 b = 5) (a + b = 8). e ) (ab = 0) (a = 0 b = 0). 36. Escriba las siguientes proposiciones en forma simb olica, ni eguelas y luego escriba estas negaciones en lenguaje com un: a ) Todo n umero real se puede escribir en forma decimal. b ) Dado cualquier n umero real positivo, hay un n umero natural que es mayor que el. c ) Existen n umeros reales que elevados al cubo son iguales al doble del n umero. d ) El cuadrado de todo n umero real es positivo o cero. e ) Existe al menos un n umero real tal que su ra z cuadrada no es cero. 7

f ) Para todo par de n umeros naturales su suma es natural. 37. Escriba las implicaciones rec proca, contraria y contra-rec proca de: [3 > 7 1 2]
3

23 =

2 24 = 42

38. Simplique (utilizando propiedades) las siguientes proposiciones: a ) ( p q ). b ) (p q ) ( p q ) 39. Confecciones las tablas de verdad de las siguientes propsiciones: a ) (p q ) r. b ) (p q ) ( p q ). 40. Sabiendo que p q es verdadero y que q es verdadero, determine el valor de verdad de, [(p q ) q ] q 41. Determine, en cada caso, si la informaci on que se da s suciente para conocer el valor de verdad de las siguientes propsiciones compuestas: a ) (p q ) r; r es verdadera. b ) (p q ) ( p q ); q es falsa. c ) (p q ) (p r); p es verdadera y q es falsa. d ) p (q r); p r es verdadera. 42. Los valores de p, q, r y s son respectivamente V, F, F y V. Obtener los valores de verdad de: a ) [(p q ) r] s. b ) r (s p). c ) (p r) (r s). 43. Si la proposici on ( p q ) ( s r) es falsa, de las siguientes proposiciones , cu ales son verdaderas? a ) [(p q ) r]. b ) [(p q ) p] q . 44. Niegue las siguientes proposiciones: a ) (x)(x 0 x R). b ) (x N)(x + 2 = 5) (x N)(x2 x). 8

c ) (x)(y )(x2 + y 2 < 0). 45. Determine si las siguientes proposiciones compuestas son Tautolog as, Contingencias o Contradicciones: a ) [(p q ) q ] p. b ) (p q ) [(p r) (q r)]. c ) [ p (q r)] [(p r) q ]. d ) ( p q ) ( p q ). e ) [(p q ) r] [(p r) q ]. f ) [(a b) ( a b)] b. g ) ( p r) [(p q ) r]. h ) [(p q ) ( q p)] (p q ). i ) [ a (b c)] [(a b c) ((b c) a)]. j ) [(p q ) ( p r)] ( q r). k ) [p (q q )] p. l ) [(p q ) (p r)] (p r). m ) [(p q ) r] [( p r) q ]. n ) [p (p q )] (q p). n ) [ (a b) ( a b)]. o ) (p q ) [p (q r)]. 46. Simplique usando propiedades de las proposiciones: a ) ( p q ) q . b ) q [ p (p q )]. c ) [( p q ) (p q )] p. d ) (p q ) q . e ) [ (p q ) ( p q )]. f ) (p q ) q . g ) p [ (p q ) ( q p)]. h ) p [q (p q )]. i ) ( p q ) (p q ). j ) q [(p q ) (p q )]. k ) (p q ) (p q ). l ) [(b b) (a c)] (a a). m ) [a (a b)] b. 9

n ) [( p q ) (p q )] q . n ) [(p q ) ( p q )]. 47. Considere la tautolog a V y la contradicci on F y sea p una propsici on simple. Construya la tabla de verdad de p V y p F que se puede decir de las tablas respecto de p?

10