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

 

Go to top