Lógica y MD - 19/20
Los deberes para esta tarde son:
- Revisad lo que hemos aprendido hoy en clase.
- Haced desde el problema 5.3.33 al 5.3.41 (el teorema no hay que probarlo, solo entenderlo).
- De la sección 5.4, leed desde la definición 5.4.1 hasta la 5.4.4.