Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03673847n
Noun Concept
Categories: Logique mathématique, Caractère Unicode, Théorie de la démonstration, Symbole mathématique, Symbole typographique
FR
taquet  ⊢  tourniquet
FR
En logique mathématique et en informatique le symbole taquet, « ⊢ », désigné ainsi en raison de sa ressemblance au système de blocage des voiles sur un bateau, représente la déduction logique. Wikipedia
French:
symbole
Definitions
Relations
Sources
FR
En logique mathématique et en informatique le symbole taquet, « ⊢ », désigné ainsi en raison de sa ressemblance au système de blocage des voiles sur un bateau, représente la déduction logique. Wikipedia
Symbole mathématique de la déduction logique Wikipedia Disambiguation
symbole Wikidata
IS A
symbole mathématique
DISCOVERER OR INVENTOR
Gottlob Frege
NAMED AFTER
portillon d'accès
Wikipedia
FR
taquet (symbole)
Wikidata
FR
taquet
Wikipedia Redirections
FR
⊢
Wikipedia Translations
FR
tourniquet

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License