Usuario:Damaya59/ejercicio 1

De Wikilibros, la colección de libros de texto de contenido libre.

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