Estou lendo sobre um algoritmo (é um algoritmo de localização de caminho baseado em A *) e contém um símbolo matemático com o qual não estou familiarizado: ∀
Aqui está o contexto:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s início
Alguém pode explicar o significado de ∀?
Respostas:
Esse é o símbolo "forall" (para todos), como visto na tabela de símbolos matemáticos da Wikipedia ou o caractere forall Unicode ( \u2200, ∀).
O upside-down Um símbolo é o quantificador universal da lógica de predicados . (Veja também a discussão mais completa do cálculo de predicados de primeira ordem .) Como outros observaram, isso significa que as afirmações declaradas são válidas "para todas as instâncias" da variável dada (aqui, s ). Você logo encontrará seu irmão, o E maiúsculo invertido , que é o quantificador existencial , significando "existe pelo menos um" da variável dada em conformidade com a afirmação relacionada.
Se você está interessado em lógica, pode gostar do livro Logic and Databases: The Roots of Relational Theory de CJ Date. Existem vários capítulos cobrindo esses quantificadores e suas implicações lógicas. Você não precisa trabalhar com bancos de dados para se beneficiar da cobertura de lógica deste livro.
Em matemática, ∀ significa PARA TODOS.
Caractere Unicode (\ u2200, ∀).
sim, esses são os quantificadores bem conhecidos usados em matemática. Outro exemplo é ∃, que pode ser lido como "existe".