Hvad betyder ⊬
Nej: det handler om udledning, ikke om sandhed.
I P ⊬ Q står P for præmisserne og Q for konklusionen; tegnet afviser syntaktisk følge. P ⊭ Q betyder derimod, at en model (en matematisk fortolkning) gør P sand og Q falsk.
Frege udgav sin Begriffsschrift i 1879, en todimensionel notation for logik med slutningstegnets historiske forløber. Betydningen ændrede sig senere: I mange bevissystemer står ⊢ for udledelighed, og ⊬ afviser den relation.
Teknisk, formelt og neutralt.
I sig selv siger tegnet ikke, at Q er falsk.
Forveksl ikke med
1Sådan skriver du ⊬
Windows (Word)
Alt+XSkriv 22AC, og tryk på Alt+X for at få ⊬.
Windows
Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).
macOS
Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”does not prove”.
Linux
Ctrl+Shift+USkriv 22ac, og tryk på Enter eller mellemrum.
HTML
⊬CSS
\22ACLaTeX
Brug `\nvdash` i LaTeX-matematiktilstand til det overstregede slutningstegn.
Koder og kodningKodepunkter: 1
HTML decimal
⊬
HTML hexadecimal
⊬
CSS-indhold
content: "\22AC";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%8A%AC
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.