Buenas, no comprendo el último paso marcado con una flecha azul, podrían explicarme como se llega a tal conclusión? Gracias.
En respuesta a Agustin Badt Pereiro
Re: Examen 2023 Febrero | Ejercicio 4)c)i
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}