Co oznacza ⊦
Oznacza sąd jako stwierdzony. Następująca po nim formuła jest przedstawiana jako prawdziwa; sam znak jej nie dowodzi.
Znak asercji Fregego pojawił się po raz pierwszy w Begriffsschrift w 1879 roku. Pozioma kreska wprowadzała treść, a pionowa oznaczała akt osądu.
Późniejsze notacje logiczne rozróżniają dowodliwość i wynikanie semantyczne za pomocą pokrewnych znaków turnstile.
Specjalistyczna notacja logiki formalnej.
Sprawdź definicje systemu, zanim zastąpisz ten znak przez ⊢ lub ⊨.
Nie myl z
2Jak wpisać ⊦
Windows (Word)
Alt+XWpisz 22A6, a następnie naciśnij Alt+X, aby uzyskać ⊦.
Windows
Win+RUruchom charmap, aby zobaczyć pełną tabelę, lub użyj karty Ω panelu emoji (Win + .).
macOS
Control+Command+SpaceOtwórz podgląd znaków i wyszukaj „assertion”.
Linux
Ctrl+Shift+UWpisz 22a6, a następnie naciśnij Enter lub Spację.
HTML
⊦CSS
\22A6Wprowadzanie Unicode
Wpisz U+22A6 metodą szesnastkowego wprowadzania Unicode w systemie operacyjnym, jeśli jest włączona.
LaTeX (STIX Two)
Załaduj `stix2` i użyj `\assert` w trybie matematycznym.
Kody i kodowaniePunkty kodowe: 1
HTML dziesiętnie
⊦
HTML szesnastkowo
⊦
Treść CSS
content: "\22A6";
Sekwencja ucieczki kończy się przy następnym ukośniku odwrotnym; przed dosłowną cyfrą szesnastkową potrzebna jest spacja.
Kodowanie URL
%E2%8A%A6
1
Na ekranie
1
Punkty kodowe
1
JS .length
3
Bajty UTF-8
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.