Estoy leyendo sobre un algoritmo (es un algoritmo de búsqueda de rutas 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 ∀?
Respuestas:
Ese es el símbolo "para todos" (para todos), como se ve en la tabla de símbolos matemáticos de Wikipedia o el carácter Unicode para todos ( \u2200, ∀).
El símbolo A al revés es el cuantificador universal de la lógica de predicados . (Vea también la discusión más completa del cálculo de predicados de primer orden .) Como otros notaron, significa que las afirmaciones declaradas son válidas "para todas las instancias" de la variable dada (aquí, s ). Pronto te encontrarás con su hermano, la E mayúscula al revés , que es el cuantificador existencial , lo que significa que "existe al menos una" de la variable dada conforme a la afirmación relacionada.
Si está interesado en la lógica, puede disfrutar del libro Lógica y bases de datos: las raíces de la teoría relacional de CJ Date. Hay varios capítulos que cubren estos cuantificadores y sus implicaciones lógicas. No es necesario trabajar con bases de datos para beneficiarse de la cobertura de la lógica de este libro.
En matemáticas, ∀ significa PARA TODOS.
Carácter Unicode (\ u2200, ∀).
sí, estos son los cuantificadores más conocidos que se utilizan en matemáticas. Otro ejemplo es ∃ que se lee como "existe".