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).

SOLUCIÓN DEL PROBLEMA 1.9.28

• Estudiaos la sección 1.10 entera (el tableau para lógica de predicados).