Día: 26 febrero 2014

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 del que se mostró un videotutorial.

Las transparencias de estas clases son las del tema 2