Novedades

Hola a todos.

Se hizo una corrección en el teórico de predicados. Bájenlo de nuevo.

El cambio es en las dos últimas líneas de la slide 43:

Decía:

$x \notin FV(\beta)$

y debía decir (como dice ahora :-) )

$x \notin FV(\alpha)$

Saludos

FDO.