La derivacion que ponen en la solucion es
quisiera saber si esta mal la siguiente:
No veo por qué es necesario utilizar la regla RI4* ya que f(x) es un termino y por lo tanto me parece q se tendria que poder aplicar la regla RI1 de una..
Gracias!
En respuesta a Gabriela Nataly Wynants Lombardini
Re: Examen Julio 2009. Ejercicio 3b
de Fernando Carpani -
Hola.
Las dos soluciones son correctas... sólo que de distinta época :-).
Se ve que en 2009, las reglas de igualdad eran todavía sólo con variables. De esta forma, la conclusión de RI1 era x='x y no t1='t1 ...
Pero la que vos proponés sería correcta en la versión nueva.
Saludos
FDO.
En respuesta a Fernando Carpani
Re: Examen Julio 2009. Ejercicio 3b
Dale, muchas gracias!