Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Intento 0
Intento 0
a) sea 𝐺 = 𝐴 ∪ 𝐵 ⇒ ∃𝑥/𝑥 ∈ 𝐺 ↔ 𝑥 ∈ 𝐴 ∨ 𝐵
tenemos que 𝐺 ∪ 𝐶 → ∃𝑥/𝑥 ∈ 𝐺 ∨ 𝐶
pero como 𝐺 = 𝐴 ∪ 𝐵 ⇒ 𝑥 ∈ 𝐺 = 𝑥 ∈ 𝐴 ∨ 𝐵
podemos decir que (𝐴 ∪ 𝐵) ∪ 𝐶 → ∃𝑥/𝑥 ∈ 𝐴 ∨ 𝐵 ∨ 𝐶
sea 𝐺 = 𝐵 ∪ 𝐶 ⇒ ∃𝑥/𝑥 ∈ 𝐺 ↔ 𝑥 ∈ 𝐵 ∨ 𝐶
tenemos que 𝐴 ∪ 𝐺 → ∃𝑥/𝑥 ∈ 𝐴 ∨ 𝐺
pero como 𝐺 = 𝐵 ∪ 𝐶 ⇒ 𝑥 ∈ 𝐺 = 𝑥 ∈ 𝐵 ∨ 𝐶
podemos decir que 𝐴 ∪ (𝐵 ∪ 𝐶) → ∃𝑥/𝑥 ∈ 𝐴 ∨ 𝐵 ∨ 𝐶
b) (𝐴 ∩ 𝐵) ∩ 𝐶 ≟ 𝐴 ∩ (𝐵 ∩ 𝐶)
c) (𝐴 ∪ 𝐵) ∩ 𝐶 ≟ 𝐴 ∪ (𝐵 ∩ 𝐶)