Clase 13 - Lógica de Primer Orden

publicado a la‎(s)‎ 6 jul. 2019 5:32 por Mariana Matos   [ actualizado el 6 jul. 2019 5:34 ]

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. 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 previamente en nuestra regla que se encargue de unificar esas variables.

Para profundizar y ejercitar

  • De la sección de apuntes: Módulo 4 de Lógico hasta sección 4 inclusive.
  • De Mumuki pueden trabajar con las guías de negación y cuantificación.
Comments