Lógica y MD - 19/20
Los deberes para hoy son los siguientes:
- Repasad lo que llevamos hasta ahora de lógica de predicados, en especial semántica.
- Abajo tenéis la solución completa del ejercicio 1.9.28. Estudiad su solución a fondo (es el que hemos hecho en clase hoy).
- Estudiaos la sección 1.10 entera (el tableau para lógica de predicados).