LMF2017: Ejercicios de lógica de primer orden
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios de lógica de primer orden. Concretamente,
- los ejercicios 2, 3, 4 y 5 de la relación 6 (Sintaxis y semántica de la Lógica de primer orden).
- los ejercicios 16, 20 y 27 de la relación 7 (Deducción natural en lógica de primer orden con Isabelle/HOL).
- los ejercicio 3 y 5 de la relación 8 (Tableros semánticos).