Que signifie ⊦
Il marque un jugement comme affirmé. La formule qui suit est présentée comme vraie ; le signe, à lui seul, ne la démontre pas.
Le signe d’assertion de Frege apparaît pour la première fois dans Begriffsschrift, en 1879. Le trait horizontal introduisait le contenu ; le trait vertical marquait l’acte de juger.
Les notations logiques ultérieures distinguent la démonstration de la conséquence sémantique à l’aide de signes de turnstile apparentés.
Notation spécialisée de la logique formelle.
Vérifiez les définitions du système avant de le remplacer par ⊢ ou ⊨.
Ne pas le confondre avec
2Comment saisir ⊦
Windows (Word)
Alt+XSaisissez 22A6, puis Alt+X pour obtenir ⊦.
Windows
Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win + .).
macOS
Control+Command+SpaceOuvrez le visualiseur de caractères et cherchez « assertion ».
Linux
Ctrl+Shift+USaisissez 22a6, puis Entrée ou Espace.
HTML
⊦CSS
\22A6Saisie Unicode
Saisissez U+22A6 avec la saisie hexadécimale Unicode de votre système, si elle est activée.
LaTeX (STIX Two)
Chargez `stix2`, puis utilisez `\assert` en mode mathématique.
Codes et encodagePoints de code : 1
HTML décimal
⊦
HTML hexadécimal
⊦
Contenu CSS
content: "\22A6";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%8A%A6
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.