LMF2012: Sintaxis de la lógica de primer orden
En la clase de hoy del curso Lógica matemática y fundamentos se ha presentado la sintaxis de la lógica de primer orden.
A partir de los ejemplos de representación del conocimiento de la clase anterior, se han definido los símbolos lógicos (variables, conectivas, cuantificadores e igualdad) y los símbolos no lógicos (constantes, predicados y funciones) que forman el alfabeto del lenguaje de la lógica de primer orden.
A partir del alfabeto, se definen los términos, las fórmulas atómicas y las fórmulas del lenguaje.
Como medio del reconocimiento de fórmulas, se introducen los árboles de análisis. Con ello, repondemos a la primera de las preguntas iniciales.
En el estudio sintáctico, definimos el conjunto de las subfórmulas, el conjunto de las variables de un término, las ocurrencias libres y ligadas, el conjunto de las variables libres y ligadas y las fómulas cerradas y abiertas. Algunas de las definiciones anteriores se realizan por recursión sobre fórmulas o sobre términos.
Las transparencias de esta clase son las páginas 11 a 23 del tema 6.