Que signifie ⊮
⊮ nie le forçage ; nie l’existence d’une preuve.
Un modèle de Kripke — un cadre où l’on évalue des formules dans des états ou des mondes possibles — fixe les conditions dans lesquelles une proposition est forcée. ⊮ indique que ces conditions ne rendent pas cette proposition vraie dans cet état.
C’est une affirmation sur le sens dans un modèle ; à elle seule, elle ne dit pas si la proposition peut être démontrée à partir d’hypothèses.
Ne pas le confondre avec
1
Caractères apparentés
1
Plus de symboles similaires
9
Taper ou trouver ⊮
- Recherchez-le comme
- nVdash · relation de forçage · modèle de Kripke · turnstile nié
- Apparaît dans
- Tout champ acceptant du texte · sa forme dépend de la police
Windows (Word)
Windows
HTML
⊮CSS
\22AELaTeX
En mode mathématique, saisissez
\nVdash ; la configuration des symboles LaTeX doit définir cette commande et inclure le caractère.Codes et encodagePoints de code : 1
HTML décimal
⊮
HTML hexadécimal
⊮
Contenu CSS
content: "\22AE";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%8A%AE
1
À l’écran
1
Points de code
1
JS .length
3
Octets UTF-8
Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.