Relación n-aria

LOGICAMATEMATICALOGICAMATEMATICA

En matemáticas y lógica, una relación n-aria R (o a menudo simplemente relación) es una generalización de la relación binaria, donde R está formada por una tupla de ntérminos: {\displaystyle R=\{(x_{1},x_{2},\ldots ,x_{n}):\;x_{1}\in X_{1}\;\land \;x_{2}\in X_{2}\;\land \;\ldots \;\land \;x_{n}\in X_{n}\;\land \;R(x_{1},x_{2},\ldots ,x_{n})=cierto\}} Un predicado n-ario: {\displaystyle R(x_{1},x_{2},\ldots ,x_{n})=cierto}es una función a valores de verdad de n

Operador

LOGICAMATEMATICALOGICAMATEMATICA

En matemáticas, en lógica, física el término operador puede ser usado con diversas acepciones . En alguna versión, un operador es un símbolo matemático que indica que debe ser llevada a cabo una operación especificada1 sobre un cierto número de operandos (número, función, vector, etc.). Los operadores suelen interpretarse como funciones, mejor aún como aplicaciones,