Незнакомый символ в алгоритме: что означает ∀?

Я читаю об алгоритме (это алгоритм поиска путей на основе A *), и он содержит математический символ, который я не знаком с: ∀

Вот контекст:

v (s) ≥ g (s) = min _{s'∈pred (s)} (v (s ') + c (s', s)) ∀s ≠ s _{стартсуб >}

Может кто-нибудь объяснить значение ∀?

Ответ 1

Что символ "forall" (для всех), как показано в Таблица математических символов Википедии или Unicode forall character (\u2200, ∀).

Ответ 2

Перевернутый символ A является универсальным квантором из предикатной логики. (Также см. Более полное обсуждение исчисления предикатов первого порядка.) Как отмечали другие, это означает, что указанные утверждения верны "для всех случаев" данной переменной (здесь, s). Вы скоро столкнетесь с его родным братом, обратной столицей E, которая является квантором существования, то есть "существует хотя бы одна" от данной переменной, соответствующей соответствующему утверждению.

Если вас интересует логика, вам может понравиться книга Логика и базы данных: корни реляционной теории от C.J. Date. Есть несколько глав, охватывающих эти кванторы и их логические последствия. Вам не обязательно работать с базами данных, чтобы извлечь выгоду из этого книжного покрытия логики.

Ответ 3

В математике ∀ означает FOR ALL.

Юникодовый символ (\ u2200, ∀).

Ответ 4

Можно прочитать: "Для всех s таких, что s не равно s [start]"

Ответ 5

да, это известные кванторы, используемые в математике. Другим примером является ∃, который читается как "существует".

http://en.wikipedia.org/wiki/Quantification