Lógica y MD - 19/20
Los deberes para esta tarde son:
- Revisad la clase de hoy, que fue intensa. En otra página web está el fichero con el problema del caballo y el 5.3.12.
- Probad el teorema 5.3.19 (1). Se debe hacer por inducción, pero hay que definir muy buen los términos.
- Haced desde el 5.3.20 hasta el teorema 5.3.24 (este último solo leerlo y comprenderlo, no probarlo).