Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
Der Folgepfeil ist ein doppelter Pfeil nach rechts, links oder auf beide Seiten. Er ist die mathematische Notation für einen logischen Schluss.
⇒ ⇔ ⇐ | |
---|---|
Mathematische Zeichen | |
Arithmetik | |
Pluszeichen | + |
Minuszeichen | −, ⁒ |
Malzeichen | ⋅, × |
Geteiltzeichen | :, ÷, / |
Plusminuszeichen | ±, ∓ |
Vergleichszeichen | <, ≤, =, ≥, > |
Wurzelzeichen | √ |
Prozentzeichen | % |
Analysis | |
Summenzeichen | Σ |
Produktzeichen | Π |
Differenzzeichen, Nabla | ∆, ∇ |
Prime | ′ |
Partielles Differential | ∂ |
Integralzeichen | ∫ |
Verkettungszeichen | ∘ |
Unendlichzeichen | ∞ |
Geometrie | |
Winkelzeichen | ∠, ∡, ∢, ∟ |
Senkrecht, Parallel | ⊥, ∥ |
Dreieck, Viereck | △, □ |
Durchmesserzeichen | ⌀ |
Mengenlehre | |
Vereinigung, Schnitt | ∪, ∩ |
Differenz, Komplement | ∖, ∁ |
Elementzeichen | ∈ |
Teilmenge, Obermenge | ⊂, ⊆, ⊇, ⊃ |
Leere Menge | ∅ |
Logik | |
Folgepfeil | ⇒, ⇔, ⇐ |
Allquantor | ∀ |
Existenzquantor | ∃ |
Konjunktion, Disjunktion | ∧, ∨ |
Negationszeichen | ¬ |
Der Folgepfeil ist das mathematische Symbol für „daraus folgt“, die logische Schlussfolgerung.[1] Er stellt eine logische Verknüpfung dar: Das Symbol wird eingesetzt, wenn aus etwas Richtigem ein richtiger, aus etwas Falschem ein falscher oder aus etwas Falschem ein richtiger Schluss gezogen wird. Niemals darf er jedoch verwendet werden, um aus etwas Richtigem etwas Falsches zu folgern.
x ist durch 4 teilbar ⇒ x ist durch 2 teilbar ⇒ x ist gerade
x ist durch 4 teilbar ⇒ x ist gerade
)Natürlich kann man die Folgerungen jederzeit umstellen („folgt aus“), und verwendet dann ⇐ (Folgepfeil links). Außerdem kann man für wechselseitige Schlussfolgerungen (Äquivalenzrelationen) den Pfeil ⇔ setzen, und spricht „folgt wechselseitig“ oder „folgt äquivalent“:
4 mal x ist 8 ⇔ 8 durch 4 ist x
Folgt eine Aussage aus einer anderen nicht, verwendet man „daraus folgt nicht“ ⇏ durchgestrichen. Auch hier gibt es ⇎ „daraus folgt nicht äquivalent“ – was aber keine Aussage trifft, ob nicht die Schlussfolgerung in einer Richtung korrekt ist:
x ist durch 4 teilbar ⇎ x ist durch 2 teilbar
In den verschiedenen Teilgebieten und für präzisere Aussagen gibt es zahlreiche speziellere Abwandlungen dieser Pfeilsymbolik.
Der Pfeil kann auch mit =>
(Gleichheitszeichen und Größerzeichen) dargestellt werden, und wird in einigen Editoren nach der Eingabe umgewandelt.
In Unicode befinden sich die mathematischen Folgepfeile im Unicodeblock Pfeile (Pfeile, 2190–21FF), und zwar an den Codepoints:
Bezeichnung | Zeichen | HEX-Code |
---|---|---|
RIGHTWARDS DOUBLE ARROW | ⇒ | 0x21d2 U+21D2 |
LEFTWARDS DOUBLE ARROW | ⇐ | 0x21d0 U+21D0 |
LEFT RIGHT DOUBLE ARROW | ⇔ | 0x21d4 U+21D4 |
RIGHTWARDS DOUBLE ARROW WITH STROKE | ⇏ | 0x21d0 U+21CF |
LEFTWARDS DOUBLE ARROW WITH STROKE | ⇍ | 0x21d2 U+21CD |
LEFT RIGHT DOUBLE ARROW WITH STROKE | ⇎ | 0x21d4 U+21CE |
Außerdem gibt es dieselben Pfeile nach oben und unten, was man in Flussdiagramm-artigem Satz verwenden kann (im selben Block), sowie in verlängerter Form, wenn das im Satz notwendig ist (im Unicodeblock Zusätzliche Pfeile-A 27F0–27FF)
In TeX werden sie als \Leftarrow
und \Rightarrow
und \Leftrightarrow
(mit dem Großbuchstaben in ausdrücklicher Unterscheidung zum einfachen Pfeil) beziehungsweise \nLeftarrow
, \nRightarrow
, \nLeftrightarrow
(mit vorangestelltem kleinen „n
“ für Negation) gesetzt. Auch hier gibt es etliche Varianten:
|
|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.