LMF2017: 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. 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 8.