Hola Nicolás
No me doy cuenta a qué ejercicio del práctico 4 te referís.
Creo que lo que querés probar es:
- (Γ ⊢ φ o Γ ⊢ α) ⇒ Γ ⊢ φ ∨ α
Eso se puede probar por casos: una prueba para el caso Γ ⊢ φ y otra prueba para el caso Γ ⊢ α.
Creo que lo segundo que preguntas sería esto:
- No es cumple (Γ ⊢ φ o Γ ⊢ α) ⇒ no se cumple (Γ ⊢ φ ∨ α)
Si es eso, no hay manera de probarlo porque no es cierto.
Si quedan dudas volvé a preguntar