Deducción natural en lógica de primer orden con Isabelle/HOL (Parte 1 de 2)
Channel: José A. Alonso
Date: 14/04/2020

Primera parte del tema de deducción natural en lógica de primer orden con Isabelle/HOL. En esta parte se introducen las reglas de los cuantificadores. Las transparencias se encuentran en https://bit.ly/2V7csC4 y la teoría en Isabelle/HOL se encuentra en https://bit.ly/3a7udFs