Tarea #1: Teorı́a básica de conjuntos

Lógica I

1. ¿Cuántos elementos tienen los siguientes conjuntos? ¿Y subconjuntos?

• {1, 2, 3, 4}.4 elementos, 16 subconjuntos

• {∅, 1, 2, 3, 4}. 5 elementos, 32
subconjuntos
• {∅}. 1 elemento, 2 subconjuntos ( conjunto vacío y conj. unitario de conjunto vacío)
• ∅. 0 elementos, 1 subconjunto (conjunto vacío)
• {∅, {∅}}. 2 elementos, 4 subconjuntos
• {{1}, {2, 3}, {4}}. 3 elementos, 8 subconjuntos

2. Sea A = {{∅}, a, {b, c}, {a}}. ¿Cuáles de las siguientes afirmaciones son verda-
deras? (Cada fallo resta un acierto).

• {A} pertenece al conjunto potencia de A. FALSO

• {b, c} ⊆ A. FALSO
• {∅} pertenece al conjunto potencia de A. FALSO
• A ⊂ A FALSO
• {{∅}, {a}} ⊆ A. VERDADERO

3. Sea A el universo de discurso y A un subconjunto no vacı́o de A. ¿Cuáles de las

siguientes afirmaciones son verdaderas? (Cada fallo resta un acierto).

• La intersección de A y A es el conjunto vacı́o. FALSO

• La intersección de A y el conjunto vacı́o es el conjunto vacı́o. VERDADERO
• El complementario de la unión de A y su complementario es el conjunto
vacı́o. VERDADERO
• El complementario de la unión de A y su complementario es A. FALSO
• El complementario del complementario de A es A. FALSO
• La unión de A y el conjunto vacı́o es el conjunto vacı́o. FALSO
• El complementario del complementario de A es A. VERDADERO
• La unión de A y A es un subconjunto de A. VERDADERO

4. ¿Cuál es el conjunto potencia del conjunto {{∅}, {{∅}}}?

en el pdf aparte

1
 5. Sea A = {1, 2, 3}. ¿Cuál es la unión generalizada de los conjuntos que forman el
conjunto potencia de A? ¿Y la intersección generalizada? en el pdf aparte
6. ¿Cuál es el producto cartesiano de los conjuntos {1, 2} y {a, b, c}? en el pdf aparte
7. ¿Cuáles de las siguientes relaciones son de equivalencia? (Cada fallo resta un
acierto).

• La relación {h1, 1i, h2, 2i, h3, 3i, h4, 4i, h2, 3i} definida sobre el conjunto
{1, 2, 3, 4}. NO EQUIVALENCIA (no simétrica)
• La relación de identidad en el conjunto de números primos menores que
100. NO EQUIVALENCIA (no transitiva)
• La relación de “ser menor que” definida sobre el conjunto de números na-
turales. NO EQUIVALENCIA (no reflexiva, no simétrica)
• La relación de ser coetáneo entre los habitantes de Madrid (uno es coetáneo
de sı́ mismo). SÍ EQUIVALENCIA
• La relación {h1, 1i, h2, 2i, h3, 3i, h2, 3i, h3, 2i, h3, 4i, h4, 3i} definida sobre
el conjunto {1, 2, 3, 4}. NO EQUIVALENCIA (no reflexiva)
• La relación de todo número entero con su cuadrado. NO EQUIVALENCIA
(ninguna)
• La relación {h1, 1i, h2, 2i, h3, 3i, h1, 2i, h2, 1i, h1, 3i, h3, 1i, h2, 3i, h3, 2i} de-
finida sobre el conjunto {1, 2, 3}. SÍ EQUIVALENCIA

8. ¿Cuáles de las siguientes relaciones son funciones? Si alguna lo es, ¿es inyectiva,
suprayectiva o biyectiva? en el pdf aparte

a) • La asignación que pone en correspondencia cada número racional consigo

mismo.
b) • La asignación definida de naturales en naturales que, para cualquier x, de-
vuelve 2x + 1.
c) • T = {h1, Di, h2, Bi, h3,Ci, h4,Ci} donde el dominio es A = {1, 2, 3, 4} y el
rango es B = {A, B,C, D}.
d) • S = {h1, Di, h1, Bi, h3,Ci, h4,Ci} donde el dominio es A = {1, 3, 4} y el
rango es B = {B,C, D}.
e) • R = {hx, yi ∈ A ×C | x es autor del libro y}, donde A es el conjunto de auto-
res y C es el conjunto de libros de la Biblioteca de la Facultad de Filosofı́a
de la UCM.

9. Demuestra que A − (A ∩ B) = A − B.
en pdf asociado
10. Demuestra que (A ∪ B) ∩ (A ∪ BC ) = A.