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