Ejercicios Primer Parcial

1. Indique el antecedente y el consecuente para cada uno de los siguientes enunciados. a) Si la luna est hecha de queso, entonces 8 es un nmero irracional. b) El pez muerde slo cuando la luna est llena. c) b divide a 3 si y slo si b divide a 9. 2. Escribe el opuesto y la contrapositiva para cada enunciado del inciso anterior. 3. Cules de los siguientes enunciados condicionales son verdaderos? a) Si el hexgono tiene seis lados, entonces la luna est hecha de queso. b) Si 5 < 2, entonces 10 < 7. c) Si el cumpleaos de Euclides fue el 2 de abril, entonces los rectngulos tienen cuatro lados. 4. Cules de los siguientes enunciados son proposiciones? a) Dnde estn las llaves de mi auto? b) Entre el 1 de enero del 2205 y el 1 de enero de 2215, la poblacin mundial se duplico. c) x2 20. 5. Hacer las tablas de verdad para cada una de las siguientes formas proposicionales. a) (p q) q . b)(p q) r. c)(p q) (p r). d)(p q) (p q). e)[(q s) (q r)] [(p q) (s r)]. 6. Cules de los siguientes pares de formas proposicionales son equivalentes? a)(p q) r, p (q r). b)(p q) r, p (q r). c)p (q r), (p q) (p r). 1

7. D una negacin conveniente para cada enunciado. a) Las rosas son rojas y las violetas azules. b) Sue escoger yogurt pero no escoger helado. c) n es par y n no es mltiplo de 5. (Asuma que n es un entero.) 8. Sea p la sentencia "q es verdad" y sea q la sentencia "p es verdad". Es p una proposicin? Explique. 9. Determine si cada uno de los siguientes proposiciones son una tautologa, una contradiccin o ninguna. Pruebe su respuesta. a) (p q) ((p) (q)). b)(a b) (a b) ((a) b) ((a) (b)). c)p ((q) p) (r q). d)(p q) (p q) (p q). e)[p (q r)] [r (p q)]. 10. Reescriba cada una de los siguientes enunciados usando conectivos lgicos. Asuma que cada smbolo n, x, S representan algn objeto compuesto. a) Si n es primo, entonces n = 2 o n es impar. b) S es compacto si y solo si S es cerrado y acotado. c) 6 n 3 slo si n > 4 n > 10. d) x es de Cauchy implica que x es convergente. 11. Dar, de ser posible, un ejemplo de una frase condicional falsa para el cual. a) La conversa es verdadera. b) La conversa es falsa. c) La contrapositiva es verdadera. d) La contrapositiva es falsa. 12. La inversa u opuesta, de una sentencia condicional p q es p q . a) Mostrar que p q y su inversa no son formas equivalentes. b) Para cada valor de la proposicin p y q . Son p q y su inversa ambas verdaderas? c) Cul es equivalente al converso de un sentencia condicional. La contrapositiva de su inverso, o el inverso de su contrapositiva? 2

13. Traduzca los siguientes enunciados del espaol a enunciados simblicos con cuanticadores. El universo de cada uno est dado entre parntesis. a) Algunos tringulos issceles son tringulos rectngulos. (Todos los tringulos) b) Algunas personas son honestas y algunas personas no lo son. (Todas las personas) c) Para cada real positivo x, hay un nico real y tal que 2y = x. (Nmeros reales) 14. Para cada proposicin en el ejercicio 13, escriba la negacin, y d una traduccin al espaol. 15. Cules de los siguientes enunciados son verdaderos? El universo para cada uno esta dado entre parntesis. a)(x)(2x + 3 = 6x + 7)(Nmeros naturales) b)(x)(x2 + 6x + 5 0)(Nmeros reales) c)(x)(x3 + 17x2 + 6x + 100 0)(Nmeros reales) 16. Escriba los siguientes conjuntos usando la notacin {x : P (x)}. a) El conjunto de enteros cuyo cuadrado es menor que 17. b) [5, 1] c) El conjunto de los nmeros racionales menor que 1. 17. Verdadero o falso? a){} {, {}}. b)Para cada conjuntoA, {} A. c){1, 2} {{1, 2, 3}, {1, 3}, 1, 2}. 18. Escribe los conjuntos potencia, P(X), para cada uno de los siguientes conjuntos. a)X = {, {a}, {b}, {a, b}} b)X = {1, {2, {3}}} 19. Pruebe que si A B , B C y C A, entonces A = B y B = C . 20. Asigne una calicacin de A (correcto), C (parcialmente correcto) o F (fracaso) a cada uno. Justicar las asignaciones de otra calicacin que no 3

sea A. a) Si A, B y C son conjuntos y A B y B C , entonces A C . Prueba: Sea A={1, 5,8}, B={1, 4,5, 8, 10} y C={1, 2, 4, 5, 6, 8, 10}. Entonces A B , B C y A C . b) Si A, B y C son conjuntos y A B y B C , entonces A C . Prueba: si x C , entonces, dado que B C , x B . Puesto que A B y x B , se deduce que x A. De esto x C implica x A. Por lo tanto
AC c) Si A es un conjunto, A (A). Prueba: Asumimos que A es un conjunto. Supongamos que x A. Entonces {x} A. Por lo tanto x (A). Por lo tanto, A (A).

P P

21. Sea U el conjunto de todos los enteros. Sean E , D, P y N los conjuntos de todos los enteros pares, impares, positivos y negativos respectivamente. Encontrar. a) P E b) P N c) D d) U P 22. Sea U = {I, 2, 3} el universo de los conjuntos A = {I, 2} y B = {2, 3}. Encontrar a) P(A) P(B) b) P(A) P(B) 23. Sea U el universo, sean A y B subconjuntos de U . Entonces a) A B ssi B A b) A B = A B c) A B = A B ( b) y c) leyes de De Morgan) 24. Sean A y B conjuntos. a) Demostrar que P(A) P(B) P(A B) b) Mostrar con un ejemplo que la igualdad de conjunto no es necesariamente el caso en la parte a). Bajo qu condiciones sobre A y B se cumple P(A B) = P(A) P(B)?

25. Se dene la operacin diferencia simtrica

A B = (A B) (B A)

como

Pruebe que a) A B = B A b) A B = (A B) (A B) 26. Pruebe que para cada familia no vaca

A

A de conjuntos,

27. Sea A = {A : } una familia de conjuntos y sea B un conjunto, pruebe que

B

A =

(B A )

28. Sea A una familia de conjuntos, suponga que A D para cada A A. Pruebe que .
A

AD

29. Pruebe que, si A = {A : } es disjunta por pares y al menos dos conjuntos que no son iguales, entonces
A =

A contiene

. 30. Sea A = {Ai : i N} una familia de conjuntos y sean k , m nmeros naturales con k m. pruebe que a)
k+1 k

Ai =
i=1 i=1

Ai Ak+1

b)

Ai
i=1 i=k

Ai

31. Cules de los siguientes enunciados son proposiciones? De serlo, indique su valor de verdad. a) El entero 0 es par. b) 5x + 3 es un entero impar. c) El entero 123 es primo. 32. Cules de las siguientes proposiciones son verdaderas? D una explicacin para cada proposicin falsa. a) . b) {1, 3} = {3, 1}. c) 1 {1}. 33. D la negacin de cada una de las siguientes proposiciones. a) 2 es un numero racional. b) Q es un entero no negativo. c) 111 es un nmero primo. 34. Sea p : 15 es un nmero impar y q : 21 es primo. Indicar cada uno de los siguientes en palabras y determinar si son verdaderos o falsos. a) P Q. b) P Q. c) (P ) Q. d) P (Q). 35. Dada la implicacin (q r) p falsa y q falsa. Determine los valores de verdad de r y p. 36. Considere las proposiciones p : x = 2 y q : x2 = 4. Indicar cada una de las siguientes en palabras: a) p q . b) p q . 6

c) p q . 37. Mostrar que p (p q) es una tautologa. 38. a) s (p q) lgicamente equivalente a(p) (q)? Explique b) Qu puede decir acerca de (p q) ((p) (q))? 39. Escriba la negacin de los siguientes enunciados abiertos. a) x = 0 y = 0. b) los enteros a y b son ambos pares. 40. Considere la implicacin: si x e y son pares entonces xy es par. a) Indique la implicacin usando "solo si". b) Indique la conversa de la implicacin. 41. Indique la negacin de los siguientes enunciados cuanticados. Donde todos los conjuntos son subconjuntos de algn universo U. a) Para cada conjunto A, A A = b) Existe un conjunto A tal que A A. 42. Indique la negacin de los siguientes enunciados cuanticados. a) Para cada nmero racional r, el numero 1 es racional. r b) Existe un numero racional r tal que r2 = 2. 43. Sea S el conjunto de los enteros impares, y sea P (x) : x2 + 1 es par y Q(x) : x2 par a) Escriba x S , P (x) y x S en palabras. b) Dena un enunciado abierto R(x) y entonces indique x S , R(x) y x S , R(x) en palabras. 44. Simbolizar las proposiciones siguientes: a) Si una sustancia orgnica se descompone, entonces sus componentes se transforman en abono y fertilizantes de suelo. b) O sus deberes estn terminados, o si no estn terminados tendr que hacerlos por la noche. c) Si este mineral no es duro, entonces no est compuesto de cristales. 45. Determinar los valores de verdad de las siguientes proposiciones, si p 7

y q son proposiciones ciertas y a y b son proposiciones falsas. a) (p a) (p a) b) (p b) (b a) c) (p q) (q p) 46. Mostrar mediante tablas de verdad cuales de las siguientes, son equivalencias tautolgicas. a) (p q) (q p). b) p p q . c) (p q) p q . 47. Simbolizar completamente los siguientes enunciados. a) Ningn hombre es a la vez loco y cuerdo. b) Solo los nmeros positivos son mayores que cero. c) Para todo x, x es positivo si y slo si x es mayor que cero. 48. Denote con s la proposicin "yo estudio", y con p la proposicin "yo pasare el curso". Exprese simblicamente las siguientes proposiciones: a) Si estudio pasare el curso. b) Estudio o no pasare el curso. c) Pasare el curso si y solamente estudio. 49. Calcule el valor de verdad de las siguientes proposiciones, suponiendo que p es verdadera y q es falsa. a) p q . b) p (p q). c) (p q). 50. Cules de los siguientes pares de proposiciones son equivalentes? a) 3 es par pero 7 es impar; es falso que: 3 es par implica que 7 es par. b) Slo si lavas los platos vas al cine; si lavas los platos vas al cine.
x U : p(x) x U : p(x)

51. Determine cules de las siguientes proposiciones son del tipo

precisando el conjunto universal, la proposicin abierta p(x) y exprselas simblicamente. a) Cualquier hombre, si trabaja, se agota. b) Algn tringulo puede ser equiltero y no tener los 3 lados iguales. 8

c) Ningn hombre vive ms de 150 aos. d) Todos los nmeros reales cumplen que su cuadrado es positivo. 52. Cules de los siguientes pares de proposiciones son equivalentes? a)x Z : x2 = 1 x2 + 1 = 2; (x Z : x2 = 1 x2 + 1 = 2) b)x Z : x2 = 1 x2 + 1 = 2; (x Z : x2 = 1 x2 + 1 = 2) c)Todas las personas oyen consejo, o no llegarn a viejos; cada persona que oye consejo llega a viejo 53. Dadas las siguientes premisas trate de obtener conclusiones correctas: a) Ningn cuadrpedo sabe volar; los gatos no vuelan. b) Si Horacio come a deshoras, engordar; Horacio no ha engordado. 54. Averige si son reglas de inferencia las siguientes formas: a)p q ; q r
pr b)p q ;r q r p c)x U : p(x); x U : q(x) x U : p(x) q(x)

55. Demuestre directamente que: a) x R : si x > 5, entonces x > 3. b) Si m y n son nmeros enteros impares, entonces m + n es un entero par. 56. Demuestre por contradiccin que si x es racional y y es irracional entonces x-y es irracional. 57. Demuestre las siguientes proposiciones: a) (x R : x2 + 6 = 10) es falsa. b) (x R : x2 + 6 = 0) es verdadera. c) (x R : x2 < 0 x2 + 6 = 10) es verdadera. 58. Si E = {1, 0} decir entre las armaciones cuales son correctas o incorrectas. a){0} E . b) E . c){0} E . 9

d)0 E . e)0 E . 59. Si B = {0, 1, 2} hallar todos los subconjuntos de B . 60. Sean A = {1, 2, ..., 8, 9}, B = {2, 4, 6, 8}, C = {1, 3, 5, 7, 9}, D = {3, 4, 5} y E = {3, 5}. Cules conjuntos pueden ser iguales a X dadas las siguientes condiciones? a)X y B son disjuntos. b)X D y X B . c)X A y X C . d)X C y X A. 61. Decir cules de los siguientes conjuntos son nitos o innitos: a) El conjunto de rectas paralelas al eje x. b) El conjunto de nmeros que son mltiplos de 5. c) El conjunto de nmeros que son races de la ecuacin.
x38 + 42x23 17x18 2x5 + 19 = 0

d) El conjunto de animales que viven en la tierra. 62. Demostrar A B = , entonces A B = B . 63. Hacer un diagrama de Venn con tres conjuntos no vacios A, B y C de modo que A, B y C tengan las siguientes caractersticas: a)A B , C B , A C = . b)A C , A = C , B C = . c)A (B C), B C , C = B , A = C . 64. Demostrar: si A es un subconjunto del conjunto vacio , entonces A = . a) B = {x|x2 = 9y2x = 4} b) C = {x|x = x} c) D = {x|x + 8 = 8} Demostrar: 10 65. Cules de los siguientes conjuntos son vacios?

66. B A es un subconjunto de A . 67. B A = B A. 68. si A B = , entonces B A = B . 69. A B es un subconjunto de A y de B . 70. A = . 71. Sean A, B S , entonces A = B si, y solamente si, S A = S B . 72. Si A S , entonces S (S A) = A. 73. Determine los conjuntos X = (AB)(AB c ); Y (Ac B c )(Ac B). 74. son verdaderas las siguientes implicacicones? a) (A B) (A C) B C . b) (A B) (A C) B C . 75. Suponga que Juan toma huevos o tocino (o ambos) para su desayuno cada maana durante el mes de enero. Si come tocino 25 maanas y huevos 18 maanas, Cuntas maanas come huevos y tocino? 76. Sean A, B S , entonces B A s, y solamente si , S A S B .
A = Ac .

77. Por contradiccin, demuestre que para cualquier subconjunto A de U ,

78. Construya 3 ejemplos de conjuntos A y B para los cuales se veriquen las siguientes relaciones: A B, A B y A B . 79. Muestre que el conjunto vacio est contenido en todo conjunto. 80. Forme las negaciones de: a)x E, [p (q)] b)x E, [p (q)] 11