for - mathematical symbols pdf
¿Cuál es el significado de ∃? (5)
Leyendo un libro sobre algoritmos. ¿Alguien puede explicar el significado del símbolo matemático?
Es el "cuantificador existencial" en oposición al A (∀) invertido que significa "cuantificador universal". Debe leerse como "existe" o "para algunos". Es una predicción que significa que alguna relación o propiedad es válida para al menos un objeto en el dominio.
Ejemplos:
Un entero n es compuesto si ∃ entero m tal que m > 1 y m < n con n divisible por m .
Un entero n es primo si ∀ entero m tal que m > 1 m < n es cierto que n no es divisible por m .
Una función f es continua en un espacio métrico (X, d) si ∀x∀ε>0∃δ>0 | ∀yd(x, y) < δ => d(f(x), f(y)) < ε ∀x∀ε>0∃δ>0 | ∀yd(x, y) < δ => d(f(x), f(y)) < ε
Más información sobre la lógica de predicado
Para futuras referencias, wikipedia tiene una tabla de símbolos matemáticos , con una explicación de los significados de cada uno.
Se llama cuantificador existencial y al ser seguido por x, significa que existe al menos una x
Se llama un quantifier . Significa "existe".
Cuando se usa en una expresión como
∃x s.t. x > 0
Significa que "existe un número x tal que x es mayor que 0."
Su contraparte es ∀, que significa "para todos". Se usa así:
∀x, x > 0
Lo que significa "Para cualquier número x , es mayor que 0."