Behauptungszeichen
Zeichen und Codes zum Kopieren
-
⊦
Zeichen
-
U+22A6
Unicode
-
⊦
HTML Code
-
\22A6
CSS Code
-
\u22A6
JavaScript Code
-
\u{22A6}
PHP / Ruby Code
Beschreibung
Das Behauptungszeichen ⊦ besteht aus einem senkrechten Strich mit einem kürzeren waagerechten Strich nach rechts – schmaler gezeichnet als das Folgerungszeichen.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. In der Logik stellt es einer Aussage voran, dass sie behauptet und nicht nur genannt wird: »⊦ φ« heißt, φ gilt. Gottlob Frege führte ein solches Zeichen 1879 in seiner Begriffsschrift ein.
Vom Folgerungszeichen ⊢ unterscheidet es die Breite und die Aufgabe: jenes verbindet Annahmen mit einem Ergebnis, dieses steht allein vor der Aussage.