Día: 18 abril 2012

En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la sustituciones en la lógica de primer orden. Concretamente, se ha definido el concepto de sustitución y cómo se aplica a términos y fórmulas. Finalmente, se ha comentado que hay sustituciones que aplicadas a una fórmula satisfacible puede dar una fórmula insatisfacible. Esto motiva la definición de las sustituciones libres.

Las transparencias de esta clase son las páginas 1 a 8 del tema 7.

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.