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