LMF2016: Resolución en lógica de primer orden
En la clase de hoy del curso de Lógica matemátca y fundamentos” 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