Relation de Satisfaction

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.