En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de elección (axiom of choice), como ZFC. Durante el siglo XIX algunos matemáticos trataron
En matemáticas y en lógica, una variable es un símbolo constituyente de un predicado, fórmula, algoritmo o de una proposición. El término «variable» se utiliza aun fuera del ámbito matemático para designar una cantidad susceptible de tomar distintos valores numéricos dentro de un conjunto de números especificado.1 En contraste, una constante es un valor que
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
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,
En lógica matemática, un predicado es una función del conjunto de la constante al conjunto de las proposiciones lógicamente interpretables (en el sentido de la lógica proposicional); igualmente un predicado se puede concebir como una función del conjunto de los cuantificadores al conjunto de predicados de la lógica proposicional: La lógica de primer orden generaliza