1. Sean A, B y C tres conjuntos.

a) Probar que (A ∪ B) ∪ C = A ∪ (B ∪ C), es decir, que la uni´on es asociativa.

b) Probar que (A ∩ B) ∩ C = A ∩ (B ∩ C), es decir, que la intersecci´on es asociativa.
c) Verificar si es cierto que (A ∪ B) ∩ C = A ∪ (B ∩ C).

a) sea 𝐺 = 𝐴 ∪ 𝐵 ⇒ ∃𝑥/𝑥 ∈ 𝐺 ↔ 𝑥 ∈ 𝐴 ∨ 𝐵
tenemos que 𝐺 ∪ 𝐶 → ∃𝑥/𝑥 ∈ 𝐺 ∨ 𝐶
pero como 𝐺 = 𝐴 ∪ 𝐵 ⇒ 𝑥 ∈ 𝐺 = 𝑥 ∈ 𝐴 ∨ 𝐵
podemos decir que (𝐴 ∪ 𝐵) ∪ 𝐶 → ∃𝑥/𝑥 ∈ 𝐴 ∨ 𝐵 ∨ 𝐶

sea 𝐺 = 𝐵 ∪ 𝐶 ⇒ ∃𝑥/𝑥 ∈ 𝐺 ↔ 𝑥 ∈ 𝐵 ∨ 𝐶
tenemos que 𝐴 ∪ 𝐺 → ∃𝑥/𝑥 ∈ 𝐴 ∨ 𝐺
pero como 𝐺 = 𝐵 ∪ 𝐶 ⇒ 𝑥 ∈ 𝐺 = 𝑥 ∈ 𝐵 ∨ 𝐶
podemos decir que 𝐴 ∪ (𝐵 ∪ 𝐶) → ∃𝑥/𝑥 ∈ 𝐴 ∨ 𝐵 ∨ 𝐶
y así concluyo que (𝐴 ∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶) .

b) (𝐴 ∩ 𝐵) ∩ 𝐶 ≟ 𝐴 ∩ (𝐵 ∩ 𝐶)

sabiendo que 𝐴 ∩ 𝐵 = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐵}

consideremos 𝐺 = 𝐴 ∩ 𝐵 → 𝐺 = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐵}
para ver que 𝐺 ∩ 𝐶 = {𝑥/𝑥 ∈ 𝐺 ∧ 𝐶}
pero como 𝐺 = 𝐴 ∩ 𝐵 ⇒ 𝑥 ∈ 𝐺 = 𝑥 ∈ 𝐴 ∧ 𝐵
podemos decir que (𝐴 ∩ 𝐵) ∩ 𝐶 = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐵 ∧ 𝐶}

ahora consideremos 𝐺 = 𝐵 ∩ 𝐶 → 𝐺 = {𝑥/𝑥 ∈ 𝐵 ∧ 𝐶}

para ver que 𝐴 ∩ 𝐺 = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐺}
pero como 𝐺 = 𝐵 ∩ 𝐶 ⇒ 𝑥 ∈ 𝐺 = 𝑥 ∈ 𝐵 ∧ 𝐶
podemos decir que 𝐴 ∩ (𝐵 ∩ 𝐶) = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐵 ∧ 𝐶}
y asi concluyo que (𝐴 ∩ 𝐵) ∩ 𝐶 = 𝐴 ∩ (𝐵 ∩ 𝐶)

c) (𝐴 ∪ 𝐵) ∩ 𝐶 ≟ 𝐴 ∪ (𝐵 ∩ 𝐶)

(𝐴 ∪ 𝐵) ∩ 𝐶
distribuyo
(𝐴 ∩ 𝐶) ∪ (𝐵 ∩ 𝐶)
𝐴 ∩ 𝐶 = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐶}
𝐵 ∩ 𝐶 = {𝑥/𝑥 ∈ 𝐵 ∧ 𝐶}
(𝐴 ∩ 𝐶) ∪ (𝐵 ∩ 𝐶) = {𝑥/𝑥 ∈ 𝐴 ∧ 𝐶, 𝑥 ∈ 𝐵 ∧ 𝐶}

𝐴 ∪ (𝐵 ∩ 𝐶)
distribuyo
(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)
𝐴 ∪ 𝐵 = {𝑥/𝑥 ∈ 𝐴 ∨ 𝐵}
𝐴 ∪ 𝐶 = {𝑥/𝑥 ∈ 𝐴 ∨ 𝐶}
(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) = {𝑥/𝑥 ∈ 𝐴 ∨ 𝐵 ∧ 𝐴 ∨ 𝐶}