Usuario:JULIAN.D.OR/ejercicio1

Dado P y (P(x)Q(x)) derivar Q(x)

1.P premisa

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

3.P(X) particularizacion1.

4.P(x)Q(x) particularizacion Universal 2.

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

6.Q(x) Generalizacion Universal