Usuario:Damaya59/ejercicio 1

< Usuario:Damaya59

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

Obtenido de «https://es.wikibooks.org/w/index.php?title=Usuario:Damaya59/ejercicio_1&oldid=19993»