Buenas tardes. Una pregunta, en esta derivación, por la regla número 4 de eliminación del OR, está bien cancelar la hipótesis de Gamma gracias a la regla 4 aunque siga estando en el "renglón" de esa regla?
Hola Paula:
Sí, esa cancelación es correcta.
Lo que sucede ahí es que γ es una derivación para γ ⊢ γ. En ese árbol, la fórmula γ es a la vez hipótesis y conclusión.
Esa situación aparece muchas veces.
Por ejemplo si querés probar ⊢ φ → φ se hace con la siguiente derivación
[φ]⁽¹⁾
————————— I→ ⁽¹⁾
φ → φ
Entendí, gracias por la respuesta! Saludos