En esta clase introdujimos los predicados de orden superior: 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:
|
Cursos > Cursadas Anteriores > 2018 > Noc-Jueves > Bitácora de clase - Jueves Noche 2018 >