LMF2018: Ejercicios de sintaxis y semántica de la lógica de primer orden
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los 4 primeros ejercicios de la relación 5.
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los 4 primeros ejercicios de la relación 5.