LI2014: Semántica de la lógica de primer orden
En la clase anterior y en la de hoy del curso Lógica Informática 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.
Las transparencias de esta clase son las páginas 35 a 45 del tema 7: