🔍

Laddar symboler…

››

⊢

Höger turnstile

Höger turnstile

Turnstile ⊢ visar att en slutsats till höger kan bevisas utifrån antaganden till vänster. I logik betecknar den härledbarhet; i typad programmering skiljer den antaganden från ett omdöme om en terms typ.

Textsymbol

Vad betyder ⊢

Den markerar en slutsats som bevisas utifrån antaganden. I Γ ⊢ T räknar Γ (gamma) upp antagandena och T är slutsatsen. Om inget står till vänster betyder ⊢ T att T kan bevisas utan angivna antaganden.

Den igenkännbara föregångaren är det assertionszeichen som den tyske logikern Gottlob Frege använde 1879. Gerhard Gentzens arbete 1934–35 bidrog till att utveckla sequentnotation: formella rader som skiljer premisser från slutsatser.

Varför ändras betydelsen av ⊢ med tecknen intill?

Notation runt tecknet avgör relationen. I bevisteori betecknar ⊢ härledbarhet: ett bevis som följer ett systems regler. I en sequent är formler till vänster premisser och formler till höger slutsatser. I typad programmeringsnotation skiljer det antaganden från ett omdöme om att en term har en viss typ.

Formellt och tekniskt: tecknet visar bevisnotation i matematisk logik eller typad programmering.

Läs inte ⊢ som ett sanningsmärke; betecknar vanligen semantisk konsekvens.

Ingår i samlingen

Vad det betyder när någon skickar det till dig

Tolkningar: 3

Antagandena i Γ bevisar T enligt reglerna i det valda systemet.

Blanda inte ihop med

3

Det dubbla turnstile betecknar semantisk konsekvens: varje tilldelning som gör premisserna sanna gör också slutsatsen sann.

På vänster-tacket sitter det lodräta strecket i motsatt ände; det är ett separat tecken vänt åt vänster.

Tunn lodrät anslutning med gren åt höger

Det här är ett tecken för att rita ramar. Det kan likna symbolen, men är inte logikens turnstile.

Vanliga frågor

1

Kan antagandena före ⊢ vara falska?

Ja. Γ listar antaganden som används i ett bevis; ⊢ visar vad som följer av dem enligt systemets regler, inte om antagandena är sanna.

Så skriver eller hittar du ⊢

Kallas också: turnstile · tee · vdash
Sök efter: bevisregler · sequent · härledbar · logiksymbol · LaTeX vdash
Finns i: Alla textfält · formen beror på teckensnittet

Windows (Word)

⎇Alt+XSkriv 22A2 och tryck på AltX för ⊢.

Windows

⊞Win+RKör charmap för hela tabellen eller använd Ω-fliken i emojiväljaren (Win .).

macOS

⌃Control+⌘Command+␣SpaceÖppna teckenvisaren och sök efter ”right tack”.

Linux

⎈Ctrl+⇧Shift+USkriv 22a2 och tryck på Enter eller blanksteg.

HTML

⊢

CSS

\22A2

skriva vdash i LaTeX

Använd \vdash i matematikläge; det finns med en amssymb-kompatibel inställning.

vanlig text

I vanlig text kan |- antyda formen, men mellanrum och typsnitt påverkar resultatet.

Koder och kodningKodpunkter: 1

HTML decimalt

⊢

HTML hexadecimalt

⊢

CSS-innehåll

content: "\22A2";

Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.

URL-kodat

%E2%8A%A2

1

På skärmen

1

Kodpunkter

1

JS .length

3

UTF-8-byte

En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.

Symbolens grupper

1

Matematik och tal1 835 symboler

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣