Double turnstile

From Wikipedia, the free encyclopedia
  (Redirected from )
Jump to: navigation, search
Not to be confused with . ‹See Tfd›

In logic, the symbol ⊨, \vDash or \models is called the double turnstile. It is closely related to the turnstile symbol \vdash, which has a single bar across the middle. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than".[1] In TeX, the turnstile symbols \vDash and \models are obtained from the commands \vDash and \models respectively. In Unicode it is encoded at U+22A8 true (HTML: ⊨)

In LaTeX there is the turnstile package, which issues this sign in many ways, including the double turnstile, and is capable of putting labels below or above it, in the correct places. The article A Tool for Logicians is a tutorial on using this package.

Meaning[edit]

The double turnstile is a binary relation. It has several different meanings in different contexts:

  • To show semantic consequence, with a set of sentences on the left and a single sentence on the right, to denote that if every sentence on the left is true, the sentence on the right must be true, e.g. \Gamma \vDash \varphi. This usage is closely related to the single-barred turnstile symbol which denotes syntactic consequence.
  • To show satisfaction, with a model (or truth-structure) on the left and a set of sentences on the right, to denote that the structure is a model for (or satisfies) the set of sentences, e.g. \mathcal{A} \models \Gamma.
  • To denote a tautology, \vDash \varphi. which is to say that the expression \varphi is a semantic consequence of the empty set.

See also[edit]

References[edit]

  1. ^ Nederpelt, Rob (2004). "Chapter 7: Strengthening and weakening". Logical Reasoning: A First Course (3rd revised ed.). King's College Publications. p. 62. ISBN 0-9543006-7-X.