RA2010: Ejercicios de razonamiento sobre listas en Isabelle/Isar
En la clase de hoy del curso de Razonamiento automático hemos comentados las soluciones de los ejercicios de la relación 1 (sobre deducción natural en lógica proposicional) y de la ewlación 2 (sobre deducción natural en lógica de primer orden) y hemos resueltos esjercicios de la relación 3 (sobre razonamiento por inducción sobre listas).