LI2014: Tableros semánticos de primer orden
En la segunda 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.
Las transparencias de esta clase son las del tema 9 que se muestran a continuación