Cosa significa ⊦
Indica un giudizio come asserito. La formula che segue viene presentata come vera; il segno, da solo, non la dimostra.
Il segno di asserzione di Frege apparve per la prima volta nel Begriffsschrift nel 1879. Il tratto orizzontale introduceva il contenuto; quello verticale indicava l’atto di giudicarlo.
Le notazioni logiche successive distinguono la dimostrazione dalla conseguenza semantica con segni turnstile correlati.
Notazione specialistica della logica formale.
Controlla le definizioni del sistema prima di sostituirlo con ⊢ o ⊨.
Non confonderlo con
2Come digitare ⊦
Windows (Word)
Alt+XDigita 22A6, poi premi Alt+X per ottenere ⊦.
Windows
Win+REsegui charmap per la tabella completa o usa la scheda Ω del selettore emoji (Win + .).
macOS
Control+Command+SpaceApri il visore caratteri e cerca «assertion».
Linux
Ctrl+Shift+UDigita 22a6, poi premi Invio o Spazio.
HTML
⊦CSS
\22A6Inserimento Unicode
Inserisci U+22A6 con il metodo di input esadecimale Unicode del sistema operativo, se attivo.
LaTeX (STIX Two)
Carica `stix2` e usa `\assert` in modalità matematica.
Codici e codificaPunti di codice: 1
HTML decimale
⊦
HTML esadecimale
⊦
Contenuto CSS
content: "\22A6";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%8A%A6
1
Sullo schermo
1
Punti di codice
1
JS .length
3
Byte UTF-8
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.