Folgepfeil

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.

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:

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 ${\displaystyle \circlearrowleft \circlearrowright }$ \curvearrowleft \curvearrowright ${\displaystyle \curvearrowleft \curvearrowright }$ \downarrow \uparrow ${\displaystyle \downarrow \uparrow }$ \downdownarrows \upuparrows ${\displaystyle \downdownarrows \upuparrows }$ \Downarrow \Uparrow ${\displaystyle \Downarrow \Uparrow }$ \hookleftarrow \hookrightarrow ${\displaystyle \hookleftarrow \;\hookrightarrow }$ \leftarrow \rightarrow ${\displaystyle \leftarrow \;\rightarrow }$ \Leftarrow \Rightarrow ${\displaystyle \Leftarrow \;\Rightarrow }$ \leftarrowtail \rightarrowtail ${\displaystyle \leftarrowtail \rightarrowtail }$ \leftharpoondown \rightharpoondown ${\displaystyle \leftharpoondown \;\rightharpoondown }$ \leftharpoonup \rightharpoonup ${\displaystyle \leftharpoonup \;\rightharpoonup }$ \leftleftarrows \rightrightarrows ${\displaystyle \leftleftarrows \rightrightarrows }$ \leftrightarrow \Leftrightarrow ${\displaystyle \leftrightarrow \Leftrightarrow }$ \leftrightarrows \rightleftarrows ${\displaystyle \leftrightarrows \rightleftarrows }$ \leftrightharpoons \rightleftharpoons ${\displaystyle \leftrightharpoons \rightleftharpoons }$

Syntax Ergebnis \leftrightsquigarrow \rightsquigarrow ${\displaystyle \leftrightsquigarrow \rightsquigarrow }$ \Lleftarrow \Rrightarrow ${\displaystyle \Lleftarrow \Rrightarrow }$ \longleftarrow \longrightarrow ${\displaystyle \longleftarrow \longrightarrow }$ \Longleftarrow \Longrightarrow ${\displaystyle \Longleftarrow \Longrightarrow }$ \longleftrightarrow ${\displaystyle \longleftrightarrow }$ \Longleftrightarrow ${\displaystyle \Longleftrightarrow }$ \longmapsto \mapsto ${\displaystyle \longmapsto \mapsto }$ \looparrowleft \looparrowright ${\displaystyle \looparrowleft \;\looparrowright }$ \Lsh \Rsh ${\displaystyle \Lsh \;\Rsh }$ \multimap ${\displaystyle \multimap }$ \nearrow \nwarrow \searrow \swarrow ${\displaystyle \nearrow \nwarrow \searrow \swarrow }$ \nLeftarrow \nRightarrow ${\displaystyle \nLeftarrow \;\nRightarrow }$ \nleftrightarrow \nLeftrightarrow ${\displaystyle \nleftrightarrow \nLeftrightarrow }$ \restriction ${\displaystyle \upharpoonright }$ \twoheadleftarrow \twoheadrightarrow ${\displaystyle \twoheadleftarrow \;\twoheadrightarrow }$ \updownarrow \Updownarrow ${\displaystyle \updownarrow \;\Updownarrow }$

• Implikation
• Pfeil (Symbol)
• Bikonditional (⇔)

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