Calculos
-------------------------------------------------
Lógica de predicados
La lógica de predicados es un lenguaje formal donde lassentencias bien formadas son producidas por las reglas enunciadas a continuación.
[editar]Vocabulario
Un vocabulario es una tupla: que consta de:
* r símbolos relacionales Ri, cada uno de elloscon un número entero ai asociado, el cual se conoce como la aridad de Ri
* s símbolos funcionales fj, cada uno de aridad bj
* t símbolos constantes ck
Una fórmula de primer orden en elvocabulario τ, es una fórmula de primer orden donde los únicos predicados, funciones y constantes empleados son los especificados por τ.
[editar]Lenguajes y estructuras de primer orden
Un lenguaje deprimer orden' es una colección de distintos símbolos clasificados como sigue:
1. El símbolo de igualdad' ; las conectivas , ; el cuantificador universal y el paréntesis , .
2. Un conjuntocontable de símbolos de variable .
3. Un conjunto de símbolos de constante .
4. Un conjunto de símbolos de función .
5. Un conjunto de símbolos de relación .
Así, para especificar un orden,generalmente sólo hace falta especificar la colección de símbolos constantes, símbolos de función y símbolos relacionales, dado que el primer conjunto de símbolos es estándar. Los paréntesis tienen comoúnico propósito de agrupar símbolos y no forman parte de la estructura de las funciones y relaciones.
Los símbolos carecen de significado por sí solos. Sin embargo, a este lenguaje podemos dotarlode una semántica apropiada.
Una -estructura sobre el lenguaje , es una tupla consistente en un conjunto no vacío , el universo del discurso, junto a:
1. Para cada símbolo constante de , tenemosun elemento .
2. Para cada símbolo de function -aria de , una function -aria .
3. Para cada símbolo de relación -aria de , una relación -aria sobre , esto es, un subconjunto .
A menudo,...
Regístrate para leer el documento completo.