Lógica y MD - 19/20
Los deberes para esta tarde son:
- Revisad lo que hemos hecho hoy en clase.
- Haced el problema 5.4.20. y el problema 5.4.22.
- Haced el ejercicio 6.1.9. y el ejercicio 6.1.10 (b).
- Terminad el ejercicio 6.1.11 (faltaba probar o refutar que la relación era transitiva).