Hola, cómo podría porbar que si (Phi se deriva de Gamma) o (Alpha se deriva de Gamma), entonces (Phi v Alpha) se deriva de Gamma? Y si no se cumple lo primero entonces cómo podría probar que tampoco se cumple lo segundo? Gracias!
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