##  [Relation de Satisfaction](/fr/node/60065) 

  ##  [Relation de Satisfaction](https://mathlogic.quantumdictionary.io/fr/node/60066) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

La relation formelle |= (ou ⊧) entre une structure (ou modèle), une affectation de variables (le cas échéant) et une formule, qui est vérifiée exactement lorsque la formule est vraie dans cette structure sous cette affectation selon les règles sémantiques du langage.