Usuario:JULIAN.D.OR/ejercicio2

Dado $\forall _{x}$$\lnot$Q(x) y $\forall _{x}$(P(x)$\Rightarrow$Q(x)) demostrar que $\forall _{x}$$\lnot$P(x)

1.$\forall _{x}$$\lnot$Q(x) premisa

2.$\lnot$Q(x) $S_{x}^{x}$ particularizacion 1.

3.$\forall _{x}$(P(x)$\Rightarrow$Q(x)) premisa

4.P(x)$\Rightarrow$Q(x) $S_{x}^{x}$ particularizacion 3.

5.$\lnot$P(x) modus tollens 2. 4.

6.$\forall _{x}$$\lnot$P(x) generalizacion del universal