turnstile

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Etymology[edit]

turn (rotating) + stile (gate)

A set of turnstiles in the USA

Pronunciation[edit]

Noun[edit]

turnstile (plural turnstiles)

  1. A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been made.
  2. (mathematics, logic, proof theory) The \vdash symbol used to represent logical entailment (deducibility relation), especially of the syntactic type, i.e., syntactic consequence. (Such symbol can be read as "proves".[1])
    Comma-separated elements preceding the turnstile should be interpreted as forming a conjunction, whereas comma-separated elements following the turnstile should be interpreted as forming a disjunction.

Related terms[edit]

Translations[edit]

References[edit]

  1. ^ http://www.uky.edu/~look/Phi520-Lecture4.pdf