turnstile
التعريفات والمعاني
== Anglais ==
=== Étymologie ===
De turn (rotatif) et stile (porte)
=== Nom commun ===
turnstile \Prononciation ?\
Tourniquet, un appareil mécanique rotatif qui contrôle et compte les passages entre des zones publiques, en particulier, un mécanisme qui ne permet de passer qu’après s’être acquitté du tarif associé.
(Logique, Mathématiques) Le symbole taquet droit, noté
⊢
{\displaystyle \vdash }
, utilisé pour représenter l’implication logique, la relation de déductibilité.
=== Prononciation ===
(États-Unis) : écouter « turnstile [Prononciation ?] »