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