Clase 11 - Orden Superior

publicado a la‎(s)‎ 4 jul. 2020 13:48 por Mariana Matos   [ actualizado el 4 jul. 2020 13:50 ]

En esta clase introdujimos los predicados de orden superior:

  • not/1 para la negación
  • forall/2 para el cuantificador universal (para todo)

De esa forma cubrimos todo lo relacionado con existencia (no hace falta usar ningún predicado especial para esto), no existencia y para todo, que es lo que nos faltaba para poder trabajar con lógica de primer orden.

También vimos que ambos predicados tienen problemas de inversibilidad, con lo cual hay que tomar ciertos recaudos al usarlos para que nuestros predicados sean inversibles.

También se puede ampliar sobre estos temas con el Módulo 4 de Lógico (hasta sección 4 inclusive).

Video de la clase

Clase 11 - Orden Superior


Para la semana que viene:

Resolver los ejercicios del TP2 que están disponibles en la Guía de TPs de Lógico (ejercicios 3 y 4 de esa guía).

Para ejercitar libremente:

Ya pueden trabajar con Mumuki hasta la guía 7 inclusive.
Comments