Solución al ejercicio de lógica

(1) p ≡ p

(2) ~(∃x) (~xεγ · xεα · xεß) ≡ ~(∃x) (~xεγ · xεα · xεß)

(3) ~(∃x) (xεα · xεß · ~xεγ) ≡ (x) ~(~xεγ · xεα · xεß)

(4) ~(∃x) (xεαß · ─γ) ≡ (x) [~xεγ ⊃ ~(xεα · xεß)]

(5) La clase [(αß) X ─γ] es vacía ≡ Todo es miembro de la clase (─γ * ─αß)

(6) αß X ─γ = 0 ≡ ─γ * ─αß = 1

(7) αβ—γ = 0 ≡ —γ ⊂ —(αβ)