- #1

- 3

- 0

What is the difference between ⊢ and ⊨?

how to call them?

how to call them?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter steelcat
- Start date

- #1

- 3

- 0

What is the difference between ⊢ and ⊨?

how to call them?

how to call them?

- #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.

Share:

- Last Post

- Replies
- 8

- Views
- 946