Los deberes para estos cinco días son los siguientes:

  • Repasad todo lo que hemos visto hasta ahora en semántica.
  • Probad (si no lo habéis hecho ya) el teorema 1.4.20 cuyo enunciado correcto es este:

  • Leed y entended el teorema 1.4.22 (sin probarlo). Haced el ejercicio 1.4.23.
  • Estudiad las equivalencias 1.4.24.
  • Haced el problema 1.4.25.
  • Haced (a), (d), (e) del ejercicio 1.4.26.
  • Estudiad la sección 1.5.
  • De la sección 1.6, estudiad desde el principioi hasta el problema 1.6.7. A esta sección le tendréis que dar varias vueltas. El tableau semántico no es fácil.

ACTUALIZACIÓN: He dejado las soluciones de 1.4.19 y 1.4.20 en otra página web de esta sección (AQUÍ).

 

Go to top