Я читаю про алгоритм (це алгоритм пошуку шляхів, заснований на A *), і він містить математичний символ, який мені незнайомий: ∀
Ось контекст:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s початок
Хтось може пояснити значення ∀?
Я читаю про алгоритм (це алгоритм пошуку шляхів, заснований на A *), і він містить математичний символ, який мені незнайомий: ∀
Ось контекст:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s початок
Хтось може пояснити значення ∀?
Відповіді:
Це символ "forall" (для всіх), як видно з таблиці математичних символів Вікіпедії або загального символу Unicode ( \u2200, ∀).
Вгору-вниз символ є квантор від логіки предикатів . (Також див. Більш повне обговорення числення предикатів першого порядку .) Як зазначали інші, це означає, що заявлені твердження виконуються "для всіх випадків" даної змінної (тут, s ). Незабаром ви зіткнетеся з його рідним братом, зворотним капіталом E , який є екзистенційним квантором , тобто "існує принаймні одна" даної змінної, що відповідає відповідному твердженню.
Якщо вас цікавить логіка, вам може сподобатися книга Логіка та бази даних: коріння реляційної теорії від CJ Date. Існує кілька глав, що охоплюють ці квантори та їх логічні наслідки. Вам не потрібно працювати з базами даних, щоб скористатися логічним висвітленням цієї книги.
В математиці ∀ означає ВСІ.
Символ Юнікоду (\ u2200, ∀).
так, це відомі квантори, що використовуються в математиці. Іншим прикладом є ∃, який читається як "існує".