LMF2018: Primer examen de deducción natural con Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se ha realizado el primer examen de la asignatura. Su contenido es la sintaxis, semántica y deducción natural para la lógica proposicional y la de primer orden representada en Isabelle/HOL.
Los ejercicios del examen y sus respuestas se encuentran aquí.