Sustitución
Antes de evaluar términos necesitamos sustituir variables por otros términos. Suena simple, pero hay un par de trampas con los nombres que conviene ver despacio.
Antes de evaluar términos necesitamos sustituir variables por otros términos. Suena simple, pero hay un par de trampas con los nombres que conviene ver despacio.