Meaning of double turnstile | Babel Free
Definitions
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.
CEFR level
B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
This word is part of the CEFR B2 vocabulary — upper intermediate level.