LMF2018: Ejercicios de deducción natural con Pandora
En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha explicado el uso de Pandora. En la explicación se han usado los ejemplos contenidos en este vídeo.
Con Pandora se ha resuelto los ejercicios 2.5.8, 2.5.12, 2.5.35 y 2.5.36 del libro de ejercicios.