In mathematical logic and computer science, the turnstile is the symbol written as a vertical bar joined to a horizontal bar, named for its resemblance to a physical turnstile gate. It is also called tee and is commonly read aloud as yields, proves, satisfies or entails. The symbol denotes a binary relation between a set of premises and a conclusion, and its precise meaning shifts with context: in proof theory it typically expresses syntactic derivability, that a formula can be derived from a set of assumptions using the rules of a formal system, while a related double-turnstile symbol is used elsewhere for semantic entailment. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Connections
Is Kind Of Object
Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.
Sources
1. Turnstile (Symbol) (Wikipedia)
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.