In mathematical logic and computer science the symbol ⊢ ( ⊢ {\displaystyle \vdash } ) has taken the name turnstile because of its resemblance to a typical turnstile. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".
In mathematical logic and computer science the symbol ⊢ ( ⊢ {\displaystyle \vdash } ) has taken the name turnstile because of its resemblance to a typical turnstile. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".
Source: Wikipedia "Turnstile (symbol)" · CC BY-SA 4.0
Share this article: X · Bluesky