LI2013: Deducción natural en lógica de primer orden
En la clase de hoy del curso Lógica Informática 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 8 que se muestran a continuación