LI2011-12: Consecuencias lógicas y tableros semánticos de primer orden
La clase de hoy del curso Lógica Informática ha tenido dos partes.
En la primera parte, 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úqueda semántica de modelos y contramodelos.
En la segunda parte, 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.
Además, se ha presentado el sistema Tree Proof Generator que busca automáticamente el tablero semántico correspondiente a la fórmula introducida.
Como tarea pendientes se propone la resolución de los ejercicios del tema 8 del libro de ejercicios.
Las transparencias de esta clase son las finales del tema 6 y las del
tema 8 que se muestran a continuación