LMF2013: Deducción natural proposicional
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional.
También se ha presentado cómo escribir demostraciones por deducción natural en Pandora.
Las transparencias de estas clases son las del tema 2