Los deberes para estos dos días son:

  1. Repasar las reglas de tableaux en vista de lo aprendido hoy en clase.
  2. Repasar la sección 1.6.1 con particular énfasis en los teoremas.
  3. Hacer (si no lo habías hecho ya) el ejercicio 1.4.14.
  4. Probar el último apartado del corolario 1.6.5.
  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.