algorithm - suma - Símbolo desconocido en el algoritmo: ¿qué significa ∀?
tabla de signos matematicos (5)
Estoy leyendo sobre un algoritmo (es un algoritmo de búsqueda de ruta basado en A *), y contiene un símbolo matemático con el que no estoy familiarizado: ∀
Aquí está el contexto:
v (s) ≥ g (s) = min s''∈pred (s) (v (s '') + c (s'', s)) ∀s ≠ s inicio
¿Alguien puede explicar el significado de ∀?
El símbolo A al revés es el cuantificador universal de la lógica de predicados . (También vea la discusión más completa del cálculo de predicados de primer orden .) Como otros señalaron, significa que las afirmaciones indicadas tienen "para todas las instancias" de la variable dada (aquí, s ). Pronto se encontrará con su hermano, el capital hacia atrás E , que es el cuantificador existencial , lo que significa que "existe al menos uno" de la variable dada conforme a la afirmación relacionada.
Si le interesa la lógica, puede disfrutar del libro Lógica y bases de datos: Las raíces de la teoría relacional por CJ Date. Hay varios capítulos que cubren estos cuantificadores y sus implicaciones lógicas. No tiene que trabajar con bases de datos para beneficiarse de la cobertura de lógica de este libro.
En matemáticas, ∀ significa PARA TODO.
Carácter Unicode (/ u2200, ∀).
Se puede leer, "Para todos los s que s no sea igual a [inicio]"
sí, estos son los cuantificadores bien conocidos que se usan en matemáticas. Otro ejemplo es ∃ que dice "existe".
Ese es el símbolo de "forall" (para todos), como se ve en la tabla de símbolos matemáticos de Wikipedia o en el carácter de forall Unicode ( /u2200 , ∀).