🔍

Symbole werden geladen…

››

⊢

Rechter Tack

Rechter Tack

Das Turnstile ⊢ zeigt, dass sich eine Schlussfolgerung rechts aus den Annahmen links beweisen lässt. In der Logik steht es für Ableitbarkeit; in typisierter Programmierung trennt es Annahmen von einem Urteil über den Typ eines Terms.

Textsymbol

Was bedeutet ⊢

Es markiert eine Schlussfolgerung, die aus Annahmen bewiesen wird. In Γ ⊢ T listet Γ (Gamma) die Annahmen auf, und T ist die Schlussfolgerung. Steht links nichts, bedeutet ⊢ T, dass T ohne angegebene Annahmen bewiesen werden kann.

Der erkennbare Vorläufer ist das Behauptungszeichen des deutschen Logikers Gottlob Frege aus dem Jahr 1879. Gerhard Gentzens Arbeit von 1934–35 trug zur Entwicklung der Sequenznotation bei: formale Zeilen, die Voraussetzungen und Schlussfolgerungen trennen.

Warum ändert ⊢ seine Bedeutung mit den Nachbarzeichen?

Die umgebende Notation legt die Beziehung fest. In der Beweistheorie steht ⊢ für Ableitbarkeit: einen Beweis mit den Regeln eines Systems. In einer Sequenz sind Formeln links Voraussetzungen und rechts Schlussfolgerungen. In typisierter Programmierschreibweise trennt es Annahmen von einem Urteil, dass ein Term einen bestimmten Typ hat.

Formal und technisch: Das Zeichen kennzeichnet Beweisnotation in mathematischer Logik oder typisierter Programmierung.

Lies ⊢ nicht als Wahrheitszeichen; steht gewöhnlich für semantische Folgerung.

Teil der Sammlung

➗

Math Symbols

Was es bedeutet, wenn dir jemand dieses Zeichen sendet

Deutungen: 3

Die Annahmen in Γ beweisen T nach den Regeln des gewählten Systems.

Nicht verwechseln mit

⊨

Wahr

Das doppelte Turnstile bezeichnet semantische Folgerung: Jede Zuordnung, die die Voraussetzungen wahr macht, macht auch die Schlussfolgerung wahr.

⊣

Linker Tack

Beim linken Tack sitzt der senkrechte Strich am anderen Ende; es ist ein eigenes, nach links gerichtetes Zeichen.

├

Dünnes Verbindungselement senkrecht und nach rechts

Dies ist ein Zeichen zum Zeichnen von Kästen. Es kann ähnlich aussehen, ist aber nicht das logische Turnstile.

Häufige Fragen

Können die Annahmen vor ⊢ falsch sein?

Ja. Γ listet die in einem Beweis verwendeten Annahmen auf; ⊢ zeigt, was nach den Regeln des Systems aus ihnen folgt, nicht ob sie wahr sind.

⊢ eingeben oder finden

Auch genannt: Turnstile · tee · vdash
Suche nach: Beweisregeln · Sequent · ableitbar · Logiksymbol · LaTeX vdash
Erscheint in: Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab

Windows (Word)

⎇Alt+XGib 22A2 ein und drücke AltX für ⊢.

Windows

⊞Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win .).

macOS

⌃Control+⌘Command+␣SpaceÖffne die Zeichenübersicht und suche nach „right tack“.

Linux

⎈Ctrl+⇧Shift+UGib 22a2 ein und drücke Enter oder die Leertaste.

HTML

⊢

CSS

\22A2

vdash in LaTeX eingeben

Verwende \vdash im Mathematikmodus; es ist mit einer amssymb-kompatiblen Einrichtung verfügbar.

reiner Text

In reinem Text kann |- die Form andeuten, aber Abstand und Schriftart beeinflussen das Ergebnis.

Codes und KodierungCodepunkte: 1

HTML dezimal

⊢

HTML hexadezimal

⊢

CSS-Inhalt

content: "\22A2";

Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.

URL-kodiert

%E2%8A%A2

Auf dem Bildschirm

Codepunkte

JS .length

UTF-8-Bytes

Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.

Gruppen dieses Symbols

Mathematik und Zahlen1.835 Symbole

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣