Hva betyr ⊭
P ⊭ Q leses «P medfører ikke Q semantisk». P og Q står for utsagn. La P bety «veien er våt» og Q «det har regnet». En vannspreder kan gjøre veien våt uten regn. Denne mulige situasjonen er et moteksempel: P garanterer ikke Q.
I Γ ⊭ φ står Γ (stor gamma) for en mengde premisser og φ (fi) for en konklusjon. Det finnes en tolkning — en tilordning av betydninger eller sannhetsverdier — der alle premissene er sanne, men konklusjonen usann. Ett moteksempel er nok. Det betyr ikke at premissene garanterer den motsatte konklusjonen.
Tegnet beskriver forholdet mellom premisser og konklusjon; det er ikke et bindeledd mellom utsagn inne i en formel. uttrykker garantien, og skråstreken i ⊭ benekter den.
Notasjon fra formell logikk for å diskutere hva som følger av premisser.
«Medfører ikke» er noe annet enn «medfører det motsatte».
En del av samlingene
Hva det betyr når noen sender det til deg
Tolkninger: 3Premissene i Γ garanterer ikke φ: Det finnes et moteksempel.
Ikke forveksle med
2
Beslektede tegn
1
Vanlige spørsmål
1Hvorfor vises ⊭ som en tom firkant?
Tegnet kan mangle i skrifttypen. En skrifttype med matematiske symboler kan vise det, så lenge appen bruker den skrifttypen.
Flere som dette
10
Slik skriver eller finner du ⊭
- Også kalt
- medfører ikke semantisk · er ikke en modell av · negert dobbelt turnstile
- Søk etter som
- følger ikke · medfører ikke · ikke sann tegn · nvDash · ikke en modell av
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
⊭\22AD\usepackage{amssymb}, og bruk deretter \nvDash i matematikkmodus.Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.