LI2011: 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.
También se ha presentado el sistema Pandora para editar demostraciones por deducción natural.
Las transparencias de esta clase son las del tema 7 que se muestran a continuación
Read More “LI2011: Deducción natural en lógica de primer orden”