LMF2018: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL (2)
En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 27, 29, 32 y 34 de la relación 6.