# What is the difference between ⊢ and ⊨?

## Main Question or Discussion Point

What is the difference between ⊢ and ⊨?

how to call them?

Related Set Theory, Logic, Probability, Statistics News on Phys.org
Bacle2
What is the difference between ⊢ and ⊨?

how to call them?
Maybe someone else can add more, but:

AFAIK A ⊢ B means that B can be deduced/derived from A, or there is a proof of B from A.

And M ⊨ N means M is a model for N , i.e., M is an interpretation in which all wffs in N are mapped into truths. Look up the meaning of interpretation.

The first '⊢' is syntactic, dealing with provability, so that B can be deduced/proved from A, i.e., there is a finite collection of sentences starting with A, where each is either a theorem, or follows from previous sentences by the application of some inference rule(s), the last sentence of which is B. 'A' on the left may be the empty set, in which case B is a tautology.
This deals only with formal relations between sentences, and not with their actual inner content.

The second , i.e., '⊨' deals with semantics, or the notion of truth. Informally, M is a possible world in which the wffs are all feasible/realizable. This deals with truth.