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Í).

• Anterior
• Siguiente