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

Como tarea se propone la resolución de los ejercicios del tema 7 del libro de ejercicios.