Calculos

Solo disponible en BuenasTareas
  • Páginas : 2 (307 palabras )
  • Descarga(s) : 0
  • Publicado : 17 de febrero de 2011
Leer documento completo
Vista previa del texto
http://es.wikipedia.org/wiki/Álgebra_de_Boole#Operaci.C3.B3n_suma

-------------------------------------------------
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,...
tracking img