Folgepfeil

⇒ ⇔ ⇐
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 ein doppelter Pfeil nach rechts, links oder auf beide Seiten. Er ist die mathematische Notation für einen logischen Schluss.

Verwendung

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
(hier ein transitiver Schluss, daraus folgt auch direkt 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
Beide Aussagen beschreiben denselben Sachverhalt, nur anders formuliert: Sie sind austauschbar.

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
mit dem ersten Beispiel, weil man aus x gerade nicht folgern kann, dass x durch 4 teilbar ist, sondern nur, dass es durch 2 teilbar ist: Die Aussagen „gerade“ und „durch 2 teilbar“ sind äquivalent.

In den verschiedenen Teilgebieten und für präzisere Aussagen gibt es zahlreiche speziellere Abwandlungen dieser Pfeilsymbolik.

Textverarbeitung und Satz

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:

Syntax Ergebnis
\circlearrowleft \circlearrowright
\curvearrowleft \curvearrowright
\downarrow \uparrow
\downdownarrows \upuparrows
\Downarrow \Uparrow
\hookleftarrow \hookrightarrow
\leftarrow \rightarrow
\Leftarrow \Rightarrow
\leftarrowtail \rightarrowtail
\leftharpoondown \rightharpoondown
\leftharpoonup \rightharpoonup
\leftleftarrows \rightrightarrows
\leftrightarrow \Leftrightarrow
\leftrightarrows \rightleftarrows
\leftrightharpoons \rightleftharpoons
Syntax Ergebnis
\leftrightsquigarrow \rightsquigarrow
\Lleftarrow \Rrightarrow
\longleftarrow \longrightarrow
\Longleftarrow \Longrightarrow
\longleftrightarrow
\Longleftrightarrow
\longmapsto \mapsto
\looparrowleft \looparrowright
\Lsh \Rsh
\multimap
\nearrow \nwarrow \searrow \swarrow
\nLeftarrow \nRightarrow
\nleftrightarrow \nLeftrightarrow
\restriction
\twoheadleftarrow \twoheadrightarrow
\updownarrow \Updownarrow

Siehe auch

Einzelnachweise

  1. Liste mathematischer Symbole. mathe-online.at, abgerufen am 3. März 2012.