Lógica y MD 16/17
Los deberes para hoy son:
- De la teoría de predicados, de la que os he mandado descargar y no de la del libro, repasar las dos primeras secciones (contiene más material que en el libro).
- Después hacer los problemas 1.7.6 (g)-(n) al 1.7.8.
- Estudiar desde el principio de la sección 3 hasta el ejemplo hasta la definición de modelo.