LMF2017: Ejercicios de sintaxis y semántica de la lógica de primer orden

En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios sobre la sintaxis y semántica de la lógica de primer orden. Concretamente, los ejercicios 1, 6 y 7 de la quinta relación.