LI2013: Ejercicios de resolución en lógica de primer orden

En la clase de hoy del curso Lógica Informática de han comentado las soluciones de ejercicios de resolución en lógica de primer orden. Concretamente, desde el ejercicio 13 al 14.5 del capítulo 12 del libro de ejercicios.