Geometrı́a I

Práctico 0 2011, FaMAF - UNC

1. Sean A, B, C subconjuntos de un conjunto X. Demostrar las siguientes afirmaciones.

(a) A ⊆ B ⇐⇒ A ⊆ A ∩ B.
(b) A ⊆ B ⇐⇒ A ∪ B ⊆ B.
(c) A ⊆ B =⇒ B = A ∪ (B r A) y A ∩ (B r A) = ∅.
(d) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
(e) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
(f) A ⊆ B ∩ C =⇒ A ⊆ B ∧ A ⊆ C.
(g) A ∪ B ⊆ C =⇒ A ⊆ C ∧ B ⊆ C.
(h) A ⊆ B ⇐⇒ B c ⊆ Ac .
(i) A r B = A ∩ B c .
(j) (A ∪ B)c = Ac ∩ B c .
(k) (A ∩ B)c = Ac ∪ B c .
2. Diga si es verdadero o falso, y justifique.
(a) A ⊆ B ∪ C =⇒ A ⊆ B ∧ A ⊆ C.
(b) A ⊆ B ∪ C =⇒ A ⊆ B ∨ A ⊆ C.
(c) A ⊆ B ∩ C =⇒ A ⊆ B ∧ A ⊆ C.
(d) A ∩ B ⊆ C =⇒ C c ⊆ Ac ∨ C c ⊆ B c .