Czytam o algorytmie (jest to algorytm znajdowania ścieżki oparty na A *) i zawiera symbol matematyczny, którego nie znam: ∀
Oto kontekst:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s początek
Czy ktoś może wyjaśnić znaczenie ∀?
Czytam o algorytmie (jest to algorytm znajdowania ścieżki oparty na A *) i zawiera symbol matematyczny, którego nie znam: ∀
Oto kontekst:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s początek
Czy ktoś może wyjaśnić znaczenie ∀?
Odpowiedzi:
To jest symbol „dla wszystkich” (dla wszystkich), jak widać w tabeli symboli matematycznych Wikipedii lub znakach Unicode dla wszystkich ( \u2200, ∀).
Odwrócony symbol A jest uniwersalnym kwantyfikatorem z logiki predykatów . (Zobacz także bardziej szczegółowe omówienie rachunku predykatów pierwszego rzędu ). Jak zauważyli inni, oznacza to, że podane twierdzenia dotyczą „wszystkich instancji” danej zmiennej (tutaj s ). Wkrótce natkniesz się na jego rodzeństwo, odwróconą wielką literę E , która jest egzystencjalnym kwantyfikatorem , co oznacza, że „istnieje co najmniej jedna” z danej zmiennej zgodnej z powiązanym stwierdzeniem.
Jeśli interesuje Cię logika, może spodobać Ci się książka Logic and Databases: The Roots of Relational Theory autorstwa CJ Date. Istnieje kilka rozdziałów opisujących te kwantyfikatory i ich logiczne konsekwencje. Nie musisz pracować z bazami danych, aby skorzystać z logiki tej książki.
W matematyce ∀ oznacza DLA WSZYSTKICH.
Znak Unicode (\ u2200, ∀).
tak, to są dobrze znane kwantyfikatory używane w matematyce. Innym przykładem jest ∃, które brzmi „istnieje”.