LI2011: Tableros semánticos proposicionales
En la clase de hoy del curso Lógica Informática se ha presentado un nuevo sistema deductivo: los tableros semánticos. En este nuevo sistema se reduce el número de reglas del de deducción natural y se automatiza su aplicación.
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 3 del libro de ejercicios.
Las transparencias de esta clase son las del tema 3