LMF2017: Ejercicios de deducción natural proposicional con Pandora

En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones propuestas para los ejercicios de la relación 2.

Se ha explicado las soluciones en la pizarra y con Pandora.