oskar
12 lines
420 B
Markdown
12 lines
420 B
Markdown
---
|
||
up:
|
||
tags:
|
||
aliases:
|
||
---
|
||
|
||
> [!definition] [[théorie des modèles . modèle]]
|
||
> Soit une [[théorie des modèles.théorie|théorie]] $T$ et une [[formule logique close]] $F$ du langage $L$
|
||
> $F$ est **conséquence sémantique** de $T$ (ou simplement conséquence de $T$) si et seulement si toute [[théorie des modèles . 𝐿-structure|𝐿-structure]] qui est modèle de $T$ est aussi modèle de $F$.
|
||
>
|
||
^definition
|