Trabajo 2
Trabajo 2
Trabajo 2
LÓGICA
1.11. Ejercicios propuestos
Ejercicios propuestos:
1. Considere el conjunto universal U =
{−7, −6, −5, −3, −2, −1, 0, 3, 1, 2, 3, 4, 5, 6}. Determinar por extensión
los siguientes conjuntos:
a) A = {x ∈ U/2x + 3 < 7 ∧ 3x − 1 ≤ 2}
b) B = {x ∈ U/x2 + 3 > 0 ∨ 2x − 7 = 3}
c) C = {x ∈ U/x + 6 ≥ 7 −→ 3x − 2 = 1}
d) D = {x ∈ U/x − 3 > 0 ←→ 3x − 5 = 10}
e) E = {x ∈ U/x2 − 4 < 0 −→ (x > 5 ∧ x = −1)}
S = {x ∈ U/x 6∈ A −→ x 6∈ B}
T = {x ∈ U/x ∈ A ←→ x 6∈ B}
R = {x ∈ U/x ∈ A ∨ x 6∈ B}
Calcular T ∩ S ∩ R.
a) Si A ∈ B y B ⊂ C entonces A ∈ C.
b) Si A ∈ B y B ⊂ C entonces A ⊂ C.
c) Si A ∩ B ⊂ C ∩ B entonces A ⊂ C.
d) Si A − B ⊂ C − B entonces A ⊂ C.
e) Si A ⊂ B y B ∈ C entonces A ⊂ C.
f ) Si A ∪ C = B ∪ C entonces A = B.
a) H − (J ∩ H)
b) (H ∪ J) − {{a, b}, c, d}
c) J ∩ (H − {a, b, c})
d) H − (J − H)
(A ∪ B) ∩ (C ∪ D) = (A ∩ C) ∪ (A ∩ D) ∪ (B ∩ C) ∪ (B ∩ D)
1.11. EJERCICIOS PROPUESTOS 35
7. Se sabe que A ⊂ B y B ∩ C = ∅. Simplificar:
T = (C − A) ∪ [(A − B) ∪ C C ] ∪ {[(A ∩ D)C − B] ∩ C}
9. Simplificar:
a) U − (A ∪ B ∪ C) = (U − A) ∩ (U − B) ∩ (U − C)
b) U − (A ∩ B ∩ C) = (U − A) ∪ (U − B) ∪ (U − C)
a) Si C ⊂ A entonces (A ∩ B) ∪ C = A ∩ (B ∪ C).
b) Si AC ⊂ B C entonces B ⊂ A.
c) (A − B) − C = (A − C) − (B − C)
14. Sea Z el conjunto de los números enteros mayores que 1. Para cada
n ≥ 2, defina
Xn = {nk/k ≥ 2, k ∈ Z}
∞
[
Determine Z − Xn .
n=2
a) A ∪ B ∪ C
36 CAPÍTULO 1. LÓGICA
b) A ∩ B ∩ C
c) AC ∩ (B ∪ C)
d) (A ∪ B) ∩ C C
e) [(A ∩ B) ∪ C] − A
1 1
17. Sea Xn = {x ∈ R/ − n
≤ x ≤ n
} = [− n1 , n1 ], para cada entero n.
Determine:
4
[
a) Xn
n=1
4
\
b) Xn
n=1
[∞
c) Xn
n=1
\∞
d) Xn
n=1
24. Sea A = {e, f }, B = {4, 5} y C = {4, 5, 6}. Determine cada uno de los
siguientes conjuntos:
a) A × (B ∪ C)
b) A × (B ∩ C)
c) (A × B) ∪ (A × C)
d) (A × B) ∩ (A × C)
e) A × (B × C)