Wat betekent ⊦
Het markeert een oordeel als beweerd. De formule erna wordt als waar voorgesteld; het teken bewijst die formule op zichzelf niet.
Freges beweringsteken verscheen voor het eerst in Begriffsschrift in 1879. De horizontale streep introduceerde de inhoud; de verticale streep markeerde het oordeel daarover.
Latere logische notaties onderscheiden bewijsbaarheid en semantisch gevolg met verwante turnstile-tekens.
Specialistische notatie voor formele logica.
Controleer de definities van het systeem voordat je het vervangt door of .
Niet verwarren met
2
Meer zoals dit
10
⊦ typen of vinden
- Ook genoemd
- beweringsteken van Frege
- Zoek als
- betekenis van ⊦ · turnstile-notatie · ⊦ tegenover ⊢ · LaTeX \assert
- Komt voor in
- Elk tekstveld · de vorm hangt af van je lettertype
Windows (Word)
Windows
HTML
⊦CSS
\22A6Unicode-invoer
Voer U22A6 in met de Unicode-hexinvoer van je besturingssysteem, als die is ingeschakeld.
LaTeX (STIX Two)
Laad
stix2 en gebruik \assert in de wiskundemodus.Codes en coderingCodepunten: 1
HTML decimaal
⊦
HTML hexadecimaal
⊦
CSS-inhoud
content: "\22A6";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%8A%A6
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.