double turnstile
Noun
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002
Noun
double turnstile (plural double turnstiles)
- (logic, model theory) The ⊨ symbol used to denote logical entailment, or the \models symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002