LMF2013: Resolución en lógica de primer orden
En la clase de hoy del curso Lógica matemática 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
Read More “LMF2013: Resolución en lógica de primer orden”