LMF2012: Deducción natural proposicional

En las dos últimas clases del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional.

Las transparencias de estas clases son las del tema 2