LMF2018: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 10, 13, 20 y 27 de la relación 6.
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 10, 13, 20 y 27 de la relación 6.