LMF2012: Semántica de la lógica de primer orden (2)
En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se ha continuado la presentación de la semántica de la lógica de primer orden, extendiendo los conceptos semánticos de las fórmulas a los conjuntos. Concretamente, se ha definido los siguientes conceptos:
- realizaciones y modelos de conjuntos de fórmulas,
- conjuntos consistentes e inconsistentes,
- consecuencia lógica y
- fórmulas equivalentes.
También se ha estudiado las relaciones entre dichos conceptos
Las transparencias de esta clase son las páginas 39 a 45 del tema 6.