Was bedeutet ⊦
Lies es als „es wird behauptet, dass“. Im einfachen Beispiel ⊦ P wird die durch P bezeichnete Aussage als wahr behauptet. Das unterscheidet das bloße Betrachten einer Aussage von ihrer Bejahung.
Der deutsche Logiker Gottlob Frege führte sein Behauptungszeichen 1879 in der Begriffsschrift ein. Der waagerechte Strich stellte den zu beurteilenden Inhalt dar; der senkrechte kennzeichnete das Urteil, dass dieser wahr sei. Zusammen machten sie den Unterschied sichtbar.
Verwandte Zeichen erhielten später unterschiedliche Aufgaben: bezeichnet gewöhnlich die Herleitbarkeit nach Beweisregeln, dagegen das Wahrsein einer Folgerung immer dann, wenn die Voraussetzungen wahr sind. Es sind verschiedene Zeichen; übernimm daher das Zeichen des jeweiligen Textes.
Fachnotation der formalen Logik und ihrer Geschichte.
Eine Aussage zu behaupten heißt nicht, sie zu beweisen.
Teil der Sammlungen
Nicht verwechseln mit
2
Häufige Fragen
1Kann ⊦ auch „reduziert sich auf“ bedeuten?
Ja. Auch diese Bedeutung wird in Symbolverzeichnissen aufgeführt. Verwendet ein Text diese Konvention, gilt seine Definition; lies das Zeichen dort nicht als Behauptungszeichen.
Mehr davon
10
⊦ eingeben oder finden
- Auch genannt
- Assertionszeichen · Freges Behauptungszeichen · Urteilszeichen
- Suche nach
- ⊦ Bedeutung · Frege Urteilszeichen · ⊦ und ⊢ · LaTeX \assert
- Erscheint in
- Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab
⊦\22A6Codes und KodierungCodepunkte: 1
Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.