Usuario:JULIAN.D.OR/ejercicio10

Demuestre lo siguiente por derivacion

a) P( x ) ( P( x ) Q( x )

b) P( x , y ) P( x , y )

c) P( x , y , z ) P( z , z , z )







a)P( x ) ( P( x ) Q( x )


1.P( x ) premisa

2.P( a ) Particularizacion del Universal 1.

3.P( a ) Q( x ) ley de combinacion

4.( P( x ) Q( x ) ) Generalizacion del Universal 3.








b) P( x , y ) P( x , y )


1. P( x , y ) premisa

2.P( a , y ) Particularizaion del existencial 1.

3.P( a , b ) Particularizaion del Universal 2.

4.P( x , b ) Generalizacion del Existencial en 3.

5. P( x , y ) generalizacion del Universal en 4.







c) P( x , y , z ) P( z , z , z )


1. P( x , y , z ) premisa

2.P( z , y , z ) Particularizaion del existencial 1.

3.P( z , z , z ) Particularizaion del Universal 2.

4. P( z , z , z ) Generalizacion del Existencial