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 existencia y para todo, que es lo que nos faltaba para poder trabajar con lógica de primer orden.

Recuerden que ambos predicados tienen problemas de inversibilidad, con lo cual hay que tomar ciertos recaudos al usarlos para que nuestros predicados sean inversibles. En general alcanza con que los parámetros de nuestros predicados lleguen unificados al consultar not/1 y forall/2, lo cual se logra consultando un predicado inversible más arriba que ligue esas variables.

Pueden profundizar estos temas leyendo de la sección de apuntes: Módulo 4 de Lógico hasta sección 4 inclusive.

Con Mumuki pueden avanzar hasta la guía 7 inclusive. Ejercicios sugeridos:

• Gran compañero de viaje (guía 4)
  
• Asesinato (guía 7)