English Explanatory Dictionary

double turnstile

English dictionary entry

Meanings

noun
  1. 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.

Word forms

double turnstile double turnstiles
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on D Russian dictionary Dahl dictionary