Terminos

TERMINOS

Término es una expresión algebráica elemental donde se encuentran solo operaciones de multiplicación y división de números y letras. El número se llama coeficiente y las letras conformanla parte literal. Tanto el número como cada letra pueden estar elevados a una potencia. En una expresión algebraica con varios términos, éstos están separados con signos de suma y resta.PREDICADOS

Un predicado es una expresión lingüística que puede conectarse con una o varias otras expresiones para formar una oración.[3] Por ejemplo, en la oración "Júpiter es un planeta", la expresión"es un planeta" es un predicado que se conecta con la expresión "Júpiter" para formar una oración. Y en la oración "Saturno es más grande que Marte", la expresión "es más grande que" es un predicadoque se conecta con dos expresiones, "Saturno" y "Júpiter", para formar una oración.

Lógica de predicados
La lógica de predicados es un lenguaje formal donde las sentencias bien formadas sonproducidas por las reglas enunciadas a continuación.

Lenguajes y estructuras de primer orden

Un lenguaje de primer orden' es una colección de distintos símbolos clasificados como sigue:
1. Elsímbolo de igualdad' ; las conectivas , ; el cuantificador universal y el paréntesis , .
2. Un conjunto contable de símbolos de variable .
3. Un conjunto de símbolos de constante .
4. Unconjunto de símbolos de función .
5. Un conjunto de símbolos de relación .
6.
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 lasfunciones y relaciones.
Los símbolos carecen de significado por sí solos. Sin embargo, a este lenguaje podemos dotarlo de una semántica apropiada.
Una -estructura sobre el lenguaje, es una tupla...