LI2015: Resolución en lógica de primer orden
En la clase de hoy del curso de Lógica Informática” se ha presentado la resolución en la lógica de primer orden como ampliación del presentado en el tema 5
para la lógica proposicional.
Las principales diferencias se encuentran en la unificación, separación de variables y factorización.
Las transparencias de esta clase son las del tema 12