Lógica y MD - 19/20
Para hoy los deberes son:
- Leed y entended el principio de inducción fuerte. Haced el problema 3.2.17.
- Haced el problema 3.2.20. Es posible que no os salga, pero traed vuestras ideas.
- Haced desde el principio de la sección 3.3 hasta el problema 3.4.4.