Usuario:JULIAN.D.OR/ejercicio14

Dar una de rivacion formal para ( P( a ) P( x ) ) P( x ). Utilizar solamente las reglas dadas en la seccion 1.6.5, el teorema de la deduccion, y UI, GU, PE y GE





1.P( a ) P( x ) suposición

2.P( x ) simplificacion 1.

3.P( a ) P( x ) P( x ) deduccion

4.P( x ) suposicion

5.P( a ) particularizacion del universal en 4.

6.P( a ) P( x ) combinacion 4. y 5.

7.P( x ) P( a ) P( x ) deduccion

8.( P( a ) P( x ) ) P( x ) introduccion de la equivalencia 3. y 7.