Renombramiento de variables en la resolución

[ES] Este vídeo explica qué es el renombramiento de variables en una computación lógica. Se muestran tres problemas diferentes que se producen en una computación lógica cuando no se renombran las variables. A continuación se muestra cómo esos tres problemas se solucionan al renombrar las variables. También se plantea un ejercicio para que el estudiante evalúe un objetivo renombrando las variables de un programa lógico. También se proporciona la solución al ejercicio. Silva, Josep (2025). Renombramiento de variables en la resolución. https://riunet.upv.es/handle/10251/221431 DER