Lógica y MD - 19/20
Los deberes para hoy son:
- Descargaos el fichero de los problemas resueltos (5.3.13 a 5.3.19) y estudiadlos.
- Haced el problema 5.3.20.
- Estudiad desde la definición 5.3.23 hasta el 5.3.25. Saltaos el 5.3.26.
- Haced desde el problema 5.3.27 al 5.3.29.
- Haced de 5.3.30 a 5.3.36. Para el teorema 5.3.32, usad la estrategia de probar que: (1) implica (2), (2) implica (3), (3) implica (4) y (4) implica (1). Este teorema os puede resultar difícil. Intentadlo a lo largo de varios días.
La música de hoy:
