fsymbols
🔍
Indlæser symboler…
››
⊮

Tvinger ikke

Tvinger ikke

⊮ betyder, at en tilstand eller model ikke tvinger en påstand: efter de valgte regler gælder påstanden ikke dér. I formel logik og semantik markerer tegnet et negativt resultat om forceringsrelationen.

Tekstsymbol
Søg efter som
nVdash · forceringsrelation · Kripke-model · negeret turnstile
Vises i
Alle tekstfelter · formen afhænger af skrifttypen

Hvad betyder ⊮

⊮ afviser forcering; ⊬ afviser et bevis.

En Kripke-model er en ramme for at undersøge formler i mulige tilstande eller verdener. Den fastlægger betingelserne for, hvornår en påstand tvinges. ⊮ betyder, at betingelserne ikke gør denne påstand sand i den aktuelle tilstand.

Det er et udsagn om betydningen i en model; i sig selv siger det ikke, om påstanden kan bevises ud fra nogle antagelser.

Forveksl ikke med

1
⊬
Beviser ikke
⊬ afviser, at en konklusion kan bevises ud fra de angivne antagelser, og har én lodret streg; ⊮ har to og afviser forcering. Det er forskellen på ⊮ og ⊬.

Sådan skriver du ⊮

Windows (Word)
Alt+XSkriv 22AE, 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 force”.
Linux
Ctrl+Shift+USkriv 22ae, og tryk på Enter eller mellemrum.
HTML
⊮
CSS
\22AE
LaTeX
Skriv `\nVdash` i matematiktilstand; LaTeX-opsætningen til symboler skal definere kommandoen og indeholde tegnet.
Koder og kodningKodepunkter: 1
HTML decimal
⊮
HTML hexadecimal
⊮
CSS-indhold
content: "\22AE";
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%AE
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.

Symbolets grupper

1

Matematik og tal1.835 symboler

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