Es sei ${\displaystyle {}S}$ ein Symbolalphabet erster Stufe, ${\displaystyle {}\Gamma }$ eine Menge von ${\displaystyle {}S}$-Ausdrücken und ${\displaystyle {}\alpha }$ ein ${\displaystyle {}S}$-Ausdruck. Man sagt, dass ${\displaystyle {}\alpha }$ aus ${\displaystyle {}\Gamma }$ folgt, geschrieben ${\displaystyle {}\Gamma \vDash \alpha }$, wenn für jede ${\displaystyle {}S}$-Interpretation ${\displaystyle {}I}$ mit ${\displaystyle {}I\vDash \Gamma }$ auch ${\displaystyle {}I\vDash \alpha }$ gilt.