Los deberes para estos dos días son:
- Repasar las reglas de tableaux en vista de lo aprendido hoy en clase.
- Repasar la sección 1.6.1 con particular énfasis en los teoremas.
- Hacer (si no lo habías hecho ya) el ejercicio 1.4.14.
- Probar el último apartado del corolario 1.6.5.
- Estudiar desde el principio de la sección 1.7.1 hasta el teorema 1.7.2 inclusive.
El próximo haremos tests conceptuales. Traed el móvil cargado a clase.