Los deberes para el lunes próximo, 3 de noviembre, son los siguientes:
- Estudiaos la definición 1.7.8. a fondo (las reglas de inferencia).
- Estudiaos los tipos de demostración.
- Una vez hecho lo anterior, repasaos el tema entero. En alguno de vosotros veo lagunas todavía.
- Haced del problema 4.4.1 los apartados (e), (f) y (g).
- Haced del problema 4.4.2 los apartados (a) y (b).
- Haced del problema 4.4.3 los apartados (a), (b) y (c).
Buen fin de semana.
