LI2011: Tableros semánticos de primer orden
En la clase de hoy del curso 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.
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 del tema 8