TALLER 2

01 de marzo de 2023

1. Tomando como referencial al conjunto de los números naturales mayores o iguales a 6,

{6, 7, 8, 9, . . . } halle los conjuntos que definen las siguientes condiciones y en cada una an-
teponga un cuantificador adecuado para que se obtenga una proposición verdadera; dé las
razones de su respuesta.
i) (x2 − 8x + 15)(x + 1) = 0.
ii) x2 − 8x + 15 ≥ 0.
iii) x2 < 2.
2. i) Escriba la negación de cada una de las siguientes proposiciones
(a) Todos los hombres son mortales.
(b) (∀x)(x + 0 = 0).
(c) (∃x)(x + y > 0).
ii) Tomando como referencial al conjunto de los números reales, halle una condición p(x, y)
en dos variables, tal que:
(a) (∃x)(∀y)(p(x, y)) es falsa
(b) (∀y)(∃x)(p(x, y)) es verdadera.
3. Mostrar
i) las propiedades de la intersección.
ii) las propiedades de la unión.
ii) las propiedades de la diferencia.
4. Mostrar
i) (A ∪ B)c = Ac ∩ B c
ii) (A ∩ B)c = Ac ∪ B c
5. Usando sus conocimientos y su intuición,
i)Halle todos los subconjuntos del conjunto {1, 2, 3}
ii)Halle todos los subconjuntos del conjunto {1, 2}
iii)] Halle todos los subconjuntos del conjunto {1}
iv) Halle todos los subconjuntos del conjunto ∅
v) ¿podrı́a adivinar una relación entre el número de elementos de un conjunto finito y el
número de sus subconjuntos?.
vi) Demuestre por inducción (sobre el número de elementos del conjunto finito) la relación
que adivino en v).