Un ejercicio de lógica

Demuéstrese que

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

partiendo de

p ≡ p

Nota

Téngase presente que:

‘xε(α X ß)’ = Dƒ ‘(x) (x ε α . x ε ß)’;

que la fórmula del producto lógico ‘α X ß’ a veces se escribe ‘αß’; y que la anteposición a una fórmula de clase de el signo ‘-‘ (o la superposición de una barra horizontal como en el ejercicio) nos dá la de su complemento. Así:

‘xε-α’ = Dƒ ‘~(xεα)’

Asimismo:

‘α = 0’ significa ‘no hay nada que sea alfa' (o sea, es un enunciado, no una fórmula de clase).

Y por último:

es también un enunciado, a saber, aquél según el cual la clase α está incluída en la clse ß.