3.2 Logica de Primer Orden


   La logica de primer orden, tambien llamada Logica de Predicados estudia las frases declarativas, teniendo en cuenta la estructura interna de las proposiciones. 

Los objetos y las relaciones entre los objetos son los elementos básicos de esta logica:

- Qué se afirma: relación o predicado
- De quién se afirma: objeto

La logica de primer orden (LPO) permite representar propiedades de objetos, referirse a todos los elementos de un dominio, expresar conocimiento acerca de todos los individuos; solucionando problemas de la logica proposicional, permitiendo hacer cuantificacion sobre los objetos de un dominio. Ej: 

“Todos los perros son animales”, “Algunos sapos lloran”.

Un lenguaje de la logica de predicados esta compuesto por los siguientes elementos:

  • Un conjunto C, finito o enumerable, de constantes para designar objetos.
  • Un conjunto F, de sımbolos de funcion. (A cada funcion se le designa una aridad, que es un numero natural y que corresponde a la cantidad de argumentos de la funcion).
  • Un conjunto P finito o infinito enumerable de sımbolos para predicados que se utilizan para designar propiedades de objetos.
 Los tres conjuntos anteriores, se agrupan normalmente en un solo conjunto de sımbolos S = (P,F,C). En el que se ubican primero los predicados, luego lasfunciones y finalmente las constantes.

No hay comentarios:

Publicar un comentario