Sustitución regla RI4

Sustitución regla RI4

de Rodrigo Ferrer Alburquerque -
Número de respuestas: 1

Es posible sustituir solo en algunos términos de la formula en vez de en todos? Pregunto porque en el parcial de 2017 realizan la sustitución de la imagen donde sustituyen una y por f(y) pero con la otra ocurrencia no realizan la sustitución. Tenia entendido que la sustitución se debe aplicar en toda la formula y por lo tanto a todas las ocurrencias de la variable sustituida(por ejemplo resultando en este caso de la sustitución P(f(y),f(y)) )

En respuesta a Rodrigo Ferrer Alburquerque

Re: Sustitución regla RI4

de Guillermo Calderon - InCo -

Hola Rodrigo:

Hay que tener en cuenta que la regla RI4 involucra dos sustituciones:

       t1 =' t2   φ[t1/z]
   ——————————————————————— RI4*
         φ[t2/z]

Las dos sustituciones son [t1/z] y [t2/z].

En este caso tenemos:

  • φ = P(z,y)
  • t1 = y
  • t2 = f(y)

Entonces nos queda:

       y =' f(y)   P(z,y)[y/z]
   ———————————————————————–————— RI4*
           P(z,y)[f(y)/z]

La variable z "desaparece" cuando hacemos la sustitución pero aún aparece en la justificación.

Si tomáramos φ = P(z,z) ahí nos quedaría P(y,y) arriba y P(f(y),f(y)) abajo. Pero esto no es lo que queremos hacer.

La idea es poner la variable "fantasma" z en el lugar donde quiero que se haga el reemplazo de término por término.

saludos