What is the difference between ⊢ and ⊨?

  • Thread starter steelcat
  • Start date
  • #1
3
0

Main Question or Discussion Point

What is the difference between ⊢ and ⊨?

how to call them?
 

Answers and Replies

  • #2
Bacle2
Science Advisor
1,089
10
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.
 

Related Threads on What is the difference between ⊢ and ⊨?

Top