# What is the definition of the double gate icon ($\models$)?

What's the definition of the double gate icon in logic or mathematical notation? :

$\models$

It is an icon from version concept representing entailment.

A ⊧ B reads as "A requires B".

It is called a 'double gate' : http://en.wikipedia.org/wiki/Double_turnstile.

$\models$ is additionally called the satisfication relation. For a framework $\mathcal{M}=(M,I)$ and also an $\mathcal{M}$ - assignment $\nu$, $(\mathcal{M},\nu)\models \varphi$ suggests that the formula $\varphi$ holds true with the certain assignment $\nu$.

See http://www.trinity.edu/cbrown/topics_in_logic/struct/node2.html

Just to increase the size of on Harry's solution :

Your icon represents either defined ideas of effects in official logic

$\vdash$ - the **gate ** icon represents **syntactic ** effects (syntactic below suggests pertaining to syntax, the framework of a sentence), where the 'algebra' of the sensible system in play (as an example sentential calculus) permits us to 'reposition and also terminate' right stuff we understand on the left right into things we intend to confirm on the right.

An instance could be the timeless "all males are temporal $\wedge$ socrates is a male $\vdash$ socrates is temporal" (' $\wedge$' certainly below simply suggests 'and also'). You can virtually visualize negating the 'male little bit' on the entrusted to simply offer the sentence on the right (although the fact might be extra intricate.).

$\models$ - the **double gate **, on the various other hand, is not a lot concerning algebra as definition (officially it represents **semantic ** effects) - it suggests that any kind of analysis of right stuff we understand left wing has to have the equivalent analysis of things we intend to confirm on the appropriate real.

An instance would certainly be if we had a boundless set of sentences : $\Gamma$ : = " 1 is wonderful", "2 is wonderful", ... in which all numbers show up, and also the sentence A =" the all-natural numbers are specifically 1,2, ... " detailing all numbers. Any kind of analysis would certainly offer us B = "natural numbers are wonderful". So $\Gamma$, A $\models$ B.

Now, the objective of any kind of logician attempting to set up an official system is to have $\Gamma \vdash A \iff \Gamma \models A$, suggesting that the 'algebra' has to associate the analysis, and also this is not something we can take as offered. Take the 2nd instance over - can we make certain that algebraic procedures can 'parse' those definitely several sentences and also make the straightforward sentence on the appropriate?? (this is to do with a building called **density **)

The objective can be divided right into 2 distict subgoals :

**Soundness : ** $A \vdash B \Rightarrow A \models B$

**Completeness : ** $A \models B \Rightarrow A \vdash B$

Where the first quits you confirming points that aren't real when we analyze them and also the 2nd suggests that every little thing we understand to be real on analysis, we have to have the ability to confirm.

Sentential calculus, as an example, can be confirmed full (and also remained in Godel's minimal well-known, yet commemorated efficiency theory), yet various other for various other systems Godel's incompleteness theory, offer us a dreadful selection in between both.

**In recap : ** The interaction of definition and also fundamental equipment maths, recorded by the distinction in between $\models$ and also $\vdash$, is a refined and also intriguing point.

Related questions