LMF2014: Ejercicios de deducción natural en lógica proposicional con Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de los ejercicios de deducción natural en lógica proposicional con Isabelle/HOL.
Para cada uno de los ejercicios se ha presentado distintas demostraciones: desde la detallada (que sea parecida a la mostrada en las transparencias) hasta la automática.
La teoría con la relación de ejercicios es
Read More “LMF2014: Ejercicios de deducción natural en lógica proposicional con Isabelle/HOL”