LMF2019: Deducción natural en lógica de primer orden (1/2)
En la clase de hoy del curso Lógica matemática y fundamentos se presentado la ampliación del cálculo de deducción natural proposional para tratar los cuantificadores.
Las transparencias de esta clase son las páginas 1 a 13 del tema 4.
A la vez que se han ido haciendo las demostraciones se ha explicado cómo hacerlas en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Deducción natural en lógica de primer orden (1/2)”