Hvad betyder ⊥
I logik er ⊥ et udsagn, der aldrig kan være sandt. Som falsum eller bottom markerer det det absurde: et bevis, der udleder ⊥, er stødt på en modstrid, og sådan slutter et modstridsbevis. Nogle logikker definerer ligefrem ”ikke φ” som φ → ⊥, ”φ fører til absurditet”.
Uden for logikken er bottom det laveste element i en ordning. I et gitter (en struktur, hvor hvert par af elementer har en største nedre grænse) ligger ⊥ under alt. I programmeringssprogsteori har bottom-typen slet ingen værdier, så en funktion, der returnerer den, vender aldrig normalt tilbage.
Er ⊥ tegnet for vinkelret?
Traditionelt ja; i nutidens Unicode bruger du ⟂. Ældre tegnsæt og HTML-entiteten ⊥ genbruger ⊥ for vinkelrette linjer, så indsat geometri som AB ⊥ CD er stadig almindelig. Unicode foreslog en egen vinkelret-relation, ⟂, i 2003 og kodede den i 2005, med mellemrum som en relation mellem to objekter.
Teknisk og formelt: matematik, logik, programmeringssprogsteori eller opmærkning.
Læs ikke ⊥ som ”vinkelret” per automatik; i logik betyder det falsk.
Hvad det betyder, når nogen sender det til dig
Fortolkninger: 4Forveksl ikke med
1Kombinationsidéer
3Godt at vide
- W3C’s historiske MathML-tegntabel knyttede både ”bottom” og ”perpendicular” til U+22A5, og derfor giver ⊥ stadig ⊥.
Ofte stillede spørgsmål
2Hvad gør ⊥ i APL?
Det afkoder. I APL omdanner ⊥ en liste af cifre i en given base til ét tal; partneren ⊤ (encode) gør det omvendte.
Hvorfor dukker ⊥ op i snak om typer i programmering?
Det betegner bottom-typen: under alle andre typer, uden værdier, til kode der aldrig vender normalt tilbage. Sprog skriver den Never, Nothing eller !.
Sådan skriver du ⊥
⊥\22A5Koder og kodningKodepunkter: 1
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.