Usuario:Damaya59/ejercicio 3

Dar una derivacion formal para demostrar que ∀(x)∼Q(x)y ∀x(P(x)→Q(x)) implica ∀(x)∼P(x).

1.∀(x)∼Q(x) premisa

2.∀x(P(x)→Q(x))premisa

3.∼Q(x) generalizacion universal en 1.

4.(P(x)→Q(x)) generalizacion universal en 2.

5.∼P(x) modus tollens 3,4

6.∀(x)∼P(x) generalizacion universal en 5.