LMF2017: Ejercicios de deducción natural proposicional
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones de los ejercicios de la segunda relación y los ejercicios 1 y 6 de la tercera relación.
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones de los ejercicios de la segunda relación y los ejercicios 1 y 6 de la tercera relación.