(mathematics, logic, proof theory) The symbol used to represent logical entailment (deducibility relation), especially of the syntactic type, i.e., syntactic consequence. (Such symbol can be read as "proves".)
Other Word Forms of Turnstile
Find Similar Words
Find similar words to turnstile using the buttons below.