LMF2012: Sustituciones en la lógica de primer orden
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.