Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01890960n
Noun Concept
Categories: Mathematical symbols, Logic symbols, Logic stubs, Logical consequence, Semantics
EN
double turnstile  ⊨  ⊭
EN
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } is called the double turnstile. Wikipedia
Definitions
Relations
Sources
EN
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } is called the double turnstile. Wikipedia
Mathematical symbol Wikidata
The ⊨ symbol used to denote semantic consequence, or the ⊨ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right. Wiktionary
IS A
character
list of mathematical symbols
NAMED AFTER
turnstile
Wikipedia
EN
double turnstile
Wikidata
EN
double turnstile
Wiktionary
EN
double turnstile
Wikipedia Redirections
EN
⊨, ⊭
Wikidata Alias
EN
⊨, ⊭

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