turnstile
See also: turn-stile
English
Etymology
Pronunciation
- Lua error in Module:parameters at line 360: Parameter 1 should be a valid language or etymology language code; the value "UK" is not valid. See WT:LOL and WT:LOL/E. IPA(key): /ˈtɜːnstaɪl/
- Lua error in Module:parameters at line 360: Parameter 1 should be a valid language or etymology language code; the value "US" is not valid. See WT:LOL and WT:LOL/E. IPA(key): /ˈtɝnstaɪl/
Audio (US): (file)
Noun
turnstile (plural turnstiles)
- A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been paid.
- A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
- (mathematics, logic) The symbol used to represent logical entailment (deducibility relation), especially of the syntactic type; i.e., syntactic consequence. (Such symbol can be read as "prove(s)" [1] or "give(s)". [2])
Related terms
- (mathematics, logic): double turnstile
Translations
rotating mechanical device
|
References
- ^ http://www.uky.edu/~look/Phi520-Lecture4.pdf
- ^ Kleene, Stephen Cole. Mathematical Logic. Mineola, New York: Dover Publications, 2002. Ch. VI, §48, p. 286.