Я читаю об алгоритме (это - новаторский алгоритм на основе*), и это содержит математический символ, с которым я незнаком: ∀
Вот контекст:
v (s) ≥ g (s) = ∈ минут pred (s) (v (s') + c (s', s)) ∀s ≠ запускаются
Кто-то может объяснить значение ∀?
Это символ «для всех» (для всех), как видно из таблицы математических символов Википедии или Unicode для всех символов ( \ u2200
, ∀).
В математике ∀ означает ДЛЯ ВСЕХ.
Символ Юникода (\ u2200, ∀).
Можно прочитать: «Для всех s таких, что s не равно s [начало]»
Перевернутый символ - это универсальный квантор из логики предикатов . (Также см. Более полное обсуждение исчисления предикатов первого порядка .) Как отмечали другие, это означает, что указанные утверждения верны «для всех экземпляров» данной переменной (здесь s ). Вскоре вы встретите его родственного брата, обратную заглавную E , которая является экзистенциальным квантификатором , что означает «существует хотя бы один» данной переменной, соответствующей соответствующему утверждению.
Если вас интересует логика, вам может понравиться книга Логика и базы данных: Корни теории отношений CJ Date. Эти количественные показатели и их логическое значение рассматриваются в нескольких главах. Вам не обязательно работать с базами данных, чтобы извлечь выгоду из освещения логики в этой книге.
- да, это известные квантификаторы, используемые в математике. Другой пример - ∃, который читается как "существует".