Renombramiento de variables en la resolucio¿n

Este video explica la importancia del renombramiento en las computaciones de la programación lógica.