Double turnstile
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } is called the double turnstile. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than".
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } is called the double turnstile. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than".
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } is called the double turnstile. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than".
Source: Wikipedia "Double turnstile" · CC BY-SA 4.0
Share this article: X · Bluesky