double turnstile
double turnstile · double turnstiles
The ⊨ symbol used to denote semantic consequence, or the ⊧ symbol used to denote the…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.
Meaning
1 sensesThe ⊨ 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.
Forms
plural: double turnstiles| Singular | double turnstile |
|---|---|
| Plural | double turnstiles |
regular