Cursada 2018‎ > ‎Bitácora‎ > ‎

Clase 11 - negación, forall y el alcance de la inversibilidad

publicado a la‎(s)‎ 3 jun. 2018 11:23 por Nahuel Palumbo
En esta clase vimos los únicos dos predicados de orden superior con los que vamos a trabajar:
  • not/1. Que sirve para negar el resultado de una consulta.
  • forall/2.  Que sirve como cuantificador de "para todo" sobre la variable libre que relaciona ambos predicados (precedente y consecuente). Hasta ahora, el cuantificador implícito era el de existencia.
Y vimos que hay que tener en cuenta el alcance de la inversibilidad con estos predicados, ya que debemos delimitar los individuos posibles. Para eso usamos la técnica de generación.

El material teórico lo pueden encontrar en los apuntes: Módulo 4 - Predicados de orden superior.

¡RECUERDEN METER PRÁCTICA CON MUMUKI SOBRE ESTOS TEMAS! (En la planificación dice qué guías pueden hacer)
ċ
clase11.pl
(1k)
Nahuel Palumbo,
3 jun. 2018 11:23
Comments