LI2011: Semántica de la lógica de primer orden

En la clase de hoy del curso Lógica Informática se presentado la semántica de la lógica de primer orden.

Las transparencias de esta clase son las páginas 24 a 45 del tema 6.

Como tarea se propone la resolución de los ejercicios del tema 6 del libro de ejercicios.