Los deberes para los próximos días son:

  • De los apuntes de lógica de predicados,  desde el principio de la sección 3 hasta el ejemplo hasta la definición de modelo (si lo has hecho ya, tampoco está de más que los repases). No leáis en modo lineal sino en modo cíclico, tomando apuntes y comprendiendo con voluntad de ello.
  • Continuar estudiando desde la definición de modelo hasta la definición de satisfactible, tautología, contingente y contradicción, incluyendo el ejemplo.
  • De la hoja de problemas hacer del problema 1.7.9 hasta el 1.7.10.
  • Hacer el ejercicio 1.7.11.
  • Estudiar la sección 3.2 muy cuidadosamente; hay novedades conceptuales.
  • Hacer el ejercicio 1.7.12 y el problema 17.13.
Go to top