Erfüllungsrelation

Die formale Relation |= (oder ⊧) zwischen einer Struktur (oder Modell), einer Variablenzuweisung (falls anwendbar) und einer Formel, die genau dann gilt, wenn die Formel in dieser Struktur unter jener Zuweisung gemäß den semantischen Regeln der Sprache wahr ist.