Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03673847n
Noun Concept
Categories: Proof theory, Mathematical symbols, Logic symbols, Deductive reasoning, Logical consequence
EN
turnstile  entails  Left tack  proves  right tack  tee
EN
In mathematical logic and computer science the symbol ⊢ has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. Wikipedia
English:
symbol
mathematical logic
Definitions
Relations
Sources
EN
In mathematical logic and computer science the symbol ⊢ has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. Wikipedia
Symbol used in mathematics, logic, and computer science Wikipedia Disambiguation
Mathematical symbol Wikidata
The ⊢ symbol used to represent logical entailment (deducibility relation), especially of the syntactic type; i.e., syntactic consequence. (Such symbol can be read as "prove(s)" or "give(s)". ). Wiktionary
IS A
list of mathematical symbols
DISCOVERER OR INVENTOR
Gottlob Frege
NAMED AFTER
turnstile
Wikipedia
EN
turnstile (symbol)
Wikidata
EN
turnstile
Wiktionary
EN
turnstile
Wikipedia Redirections
EN
Left tack, right tack, Turnstile (mathematical logic), turnstile symbol, Vdash, ⊢, ⊦, ⟚
Wikidata Alias
EN
entails, proves, satisfies, tee, yields, ⊢

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