Juan Andres Avelino

Daniel Santiago Tenjo Leal

Demuestre o refute el siguiente enunciado

(A \ B) = A \ (A ∩ B)

Por definición de la diferencia de conjuntos

𝐴 ∩ 𝐵𝑐 = 𝐴 ∩ (𝐴 ∩ 𝐵)𝑐
Usamos el METATEOREMA de la demostración

(𝑥 ∈ 𝐴) ∨ ¬(𝑥 ∈ 𝐵) ≡ (𝑥 ∈ 𝐴) ∨ ¬((𝑥 ∈ 𝐴) ∨ (𝑥 ∈ 𝐵))

Sustituimos de esta forma

(𝑥 ∈ 𝐴) = 𝑎
(𝑥 ∈ 𝐵) = 𝑏

𝑎 ∨ ¬𝑏 ≡ 𝑎 ∨ ¬(𝑎 ∨ 𝑏)
Usamos de Morgan

𝑎 ∨ ¬𝑏 ≡ 𝑎 ∨ (¬𝑎 ∧ ¬𝑏)
Usamos distribución

𝑎 ∨ ¬𝑏 ≡ (𝑎 ∨ ¬𝑎)∧ (𝑎 ∨ ¬𝑏)
Aplicamos Todo o Nada

𝑎 ∨ ¬𝑏 ≡ 𝑇𝑟𝑢𝑒∧ (𝑎 ∨ ¬𝑏)

Usamos identidad

𝑎 ∨ ¬𝑏 ≡ 𝑎 ∨ ¬𝑏

¡Demostrado!