- #1

- 3

- 0

## Main Question or Discussion Point

What is the difference between ⊢ and ⊨?

how to call them?

how to call them?

- 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

Maybe someone else can add more, but:What is the difference between ⊢ and ⊨?

how to call them?

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.

- Replies
- 3

- Views
- 5K

- Replies
- 1

- Views
- 4K

- Last Post

- Replies
- 8

- Views
- 668

- Replies
- 5

- Views
- 2K

- Replies
- 4

- Views
- 1K

- Replies
- 2

- Views
- 1K

- Replies
- 1

- Views
- 2K

- Replies
- 1

- Views
- 1K

- Replies
- 2

- Views
- 8K

- Replies
- 2

- Views
- 4K