Repaso general del temario de la asignatura de cara a la preparación de examen.
Análisis de preguntas tipo en base a los exámenes 2016a, 2016b, 2017a y 2017b (obtenidos del foro de la asignatura y descargables junto con el vídeo).
Repaso de estrategias a seguir para realizar ejercicios de deducción natural con todas las reglas (básicas y derivadas).
Realización de 3 ejercicios comentados.
Resolución de ejercicios de DN con reglas básicas.
Dudas concretas con ejercicios del foro de la asignatura.
Explicación de reglas derivadas (CPr y ECQ2).
Explicación de reglas básicas y realización de primeros ejercicios.
Ejercicios de árboles semánticos, repaso tablas de verdad.
Inicio explicación tema 4 (deducción natural).
Adjunto documentos ejercicios resueltos de árboles.
Realización de algunas tablas de verdad y ejercicio 6 (a) y (b) de "Formas Lógicas" (pp. 70-71).
Breve explicación de árboles semánticos (Formas Lógicas, Tema IV, aptdo. 3, p. 105 en adelante) con material propio que se adjunta al vídeo.
