Lógica y MD 16/17
Los deberes para estos dos días son:
- Hacer desde el 5.3.26 hasta el 5.3.29 (estaban mandados, pero repasarlos o hacerlos si antes no los hicisteis).
- Hacer desde la definición 5.3.20 hasta 5.3.38. Del teorema probar solo que (1) equivale a (2).
