Usuario:JULIAN.D.OR/ejercicio1

Dado P y $\forall _{x}$(P(x)$\Rightarrow$Q(x)) derivar $\forall _{x}$Q(x)

1.P premisa

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

3.P(X) $S_{x}^{x}$particularizacion1.

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

5.Q(x) Modus Ponens 3. , 4.

6.$\forall _{x}$Q(x) Generalizacion Universal