Usuario:Damaya59/ejercicio 1
Apariencia
Dado P(X), ∀X((PX)→Q(X)) construir una derivacion formail de que ∀(x)Q(X).
1.P(X) premisa
2.∀X((PX)→Q(X)) premisa
3.((PX)→Q(X)) generalizacion universal en 2
4. Q(x) modus ponens en 1,2
5. Q(x) generalizacion universal en 4