LI2012: 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 y las igualdades.
Las transparencias de esta clase son las del tema 8 que se muestran a continuación