Menu Close

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.

Sin categoría