Usuario:JULIAN.D.OR/ejercicio7

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

SEA P QUE DENOTA R( y ). UTILICE LAS REGLAS DE LA TABLA 2.4 PARA MOSTRAR QUE

( P Q( x ) ) ( Q( x ) R( y ) )



( P Q( x ) )

P Q( x ) si x no esta libre en P

P Q( x ) si x no esta libre en P


R( y ) Q( x ) se remplasa P

( Q( x ) R( y ) )


NOTA; TODAS ESTAS LEYES SE MUESTRAN Y SE DEMUESTRAN EN EL LIBRO PAG 88 TABLA 2.4 Y PAG 89 REVISARLAS