LMF2018: Ejercicios de deducción natural con las tácticas de Isabelle/HOL

En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado las soluciones de los siguientes ejercicios

  • 1 y 22 de la relación 6 de deducción natural proposicional con las tácticas de Isabelle/HOL,
  • 53 y 56 de la relación 7 de deducción natural en lógica de primer orden con las tácticas de Isabelle/HOL y
  • el 2.9.9 del libro de ejercicios de deducción natural proposicional con las tácticas de Isabelle/HOL.