TEma 4 (III): realización de ejercicios de Deducción Natural con supuestos.
Tutoría 9
tema 8
Explicación de reglas derivadas (incidiendo en las estrategias) y realización de ejercicios.
Tema 4(I): Qué es deducción natural y explicación reglas básicas. Realización de 2 ejercicios y 3 más como ejercicio para la semana que viene.
Tutoría 8
