LMF2018: Deducción natural en lógica de primer orden
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 y la igualdad. Se han comentado distintas equivalencias lógicas y se han demostrado por deducción natural las principales equivalencias.
Las transparencias de esta clase son las 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 “LMF2018: Deducción natural en lógica de primer orden”