Hola:
Se afirma que ¬¬α ∈ Γ - {α}.
Esto se cumple porque
- ¬¬α ∈ Γ
- ¬¬α ∉ {α}
La afirmación (1) surge de la derivación dada y la condición de teoría de Γ.
La afirmación (2) es inmediata dado que ¬¬α no es la misma proposición que α.
Lo que aplicamos para probar la pertenencia de arriba es la definición de diferencia de conjuntos:
- A - B = {x ∈ A : x ∉ B}