Ich lese über einen Algorithmus (es ist ein Pfadfindungsalgorithmus, der auf A * basiert) und er enthält ein mathematisches Symbol, mit dem ich nicht vertraut bin: ∀
Hier ist der Kontext:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s Start
Kann jemand die Bedeutung von ∀ erklären?
Antworten:
Dies ist das "forall" -Symbol (für alle), wie in der Wikipedia-Tabelle der mathematischen Symbole oder im Unicode-forall-Zeichen ( \u2200, ∀) zu sehen ist.
Das umgedrehte A- Symbol ist der universelle Quantifizierer aus der Prädikatenlogik . (Siehe auch die ausführlichere Diskussion des Prädikatenkalküls erster Ordnung .) Wie andere angemerkt haben, bedeutet dies, dass die angegebenen Aussagen "für alle Instanzen" der gegebenen Variablen gelten (hier s ). Sie werden bald auf sein Geschwister stoßen, das Rückwärtskapital E , das der existenzielle Quantifizierer ist , was bedeutet, dass "es mindestens eine gibt" der gegebenen Variablen, die der zugehörigen Behauptung entspricht.
Wenn Sie sich für Logik interessieren, könnte Ihnen das Buch Logik und Datenbanken: Die Wurzeln der relationalen Theorie von CJ Date gefallen. Es gibt mehrere Kapitel, die diese Quantifizierer und ihre logischen Implikationen behandeln. Sie müssen nicht mit Datenbanken arbeiten, um von der Logik dieses Buches zu profitieren.
In der Mathematik bedeutet ∀ FÜR ALLE.
Unicode-Zeichen (\ u2200, ∀).
Ja, dies sind die bekannten Quantifizierer, die in der Mathematik verwendet werden. Ein anderes Beispiel ist ∃, das als "existiert" lautet.