LMF2017: Ejercicios de deducción natural proposicional en Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios de deducción natural con Isabelle/HOL. Concretamente, los ejercicios 6, 7, 19, 28, 34, 37, 43, 44, 47 y 53 de la cuarta relación.