tu simon

e llama término a toda expresión algebraica cuyas partes no están separadas por los signos + o -. Así, por ejemplo xy2 es un término algebraico.

En todo término algebraico pueden distinguirsecuatro elementos: el signo, el coeficiente, la parte literal y el grado.


n lógica matemática, un predicado es una función del conjunto de la constante al conjunto de las proposiciones lógicamenteinterpretables (en el sentido de la lógica proposicional); igualmente un predicado puede concebirse como una función del conjunto de los cuantificadores al conjunto de predicados de la lógicaproposicional:


La lógica de primer orden generaliza a la lógica proposicional precisamente en que su formalismo puede tratar cuantificadores de variables como predicados. La lógica de segundo ordenpermitiría además cuantificadores sobre predicados, además de cuantificadores sobre variables.
Cuantificador universal
Saltar a: navegación, búsqueda
En lógica, se usa el símbolo , denominadocuantificador universal1 , antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación. En texto se puede representar con el carácter ∀.Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual aparecen todas las constantes
Si tenemos dos conjuntos diferentes A y B, y A es un subconjuntode B:

Todo elemento x de A pertenece a B:

Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los elementos y de B pertenecen a A, siendo esto una garantíasuficiente para que dos conjuntos cualesquiera puedan ser diferentes:

Es decir: no para todo elemento y de B se cumple que y también pertenezca a A.
Cuantificador existencial
Saltar a:navegación, búsqueda
En el lenguaje de predicados en lógica matemática, se usa el símbolo: , llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento del...