Usuario:Damaya59/ejercicio 3
Apariencia
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.