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
En la primera parte de la clase de hoy del curso de Lógica Informática se estudiado cómo se puede diseñar un procedimiento de forma que dada una fórmula F obtenga otra G que sólo tenga cuantificadores al principio, que su cuerpo esté en forma normal conjuntiva y que sea equisatisfacible con F (es decir, que G es satisfacible precisamente si lo es F). Con dicho procedimiento se calcula la forma normal de Skolem. A partir de las formas se Skolem se obtienen las formas clausales.
En la segunda parte se han comentado las soluciones de los ejercicios 8.5.1 y 8.5.5 del libro de ejercicios. Se han realizado las demostraciones por deducción natural y también por tableros semánticos. Además, se ha comprobado con tableros semánticos la validez de sus recíprocos.
Las transparencias de esta clase son las del tema 10
En la primera parte de la clase de hoy del curso de Lógica Informática se ha presentado un nuevo sistema deductivo: los tableros semánticos de primer orden como ampliación del presentado en el tema 3 para la lógica proposicional.
En la segunda parte se han comentado las soluciones de los ejercicios 6.29 y 6.30 del libro de ejercicios.
Las transparencias de esta clase son las del tema 9 que se muestran a continuación
En la clase de hoy del curso Lógica Informática se presentado la ampliación del cálculo de deducción natural proposional para tratar los cuantificadores. Se han comentado distintas equivalencias lógicas y se han demostrado por deducción natural las principales equivalencias.
Las transparencias de esta clase son las páginas 1 a 25 del tema 8 que se muestran a continuación
En la clase de hoy del curso Lógica Informática se ha completado el estudio de la semántica de la lógica de primer orden introduciendo los conceptos de consistencia, consecuencia lógica y equivalencia. Se ha explicado la metodología de búsqueda semántica de modelos y contramodelos.
Las transparencias de esta clase son las páginas 35 a 45 del tema 7: