Es sei S {\displaystyle {}S} ein Symbolalphabet, Γ {\displaystyle {}\Gamma } eine Menge an S {\displaystyle {}S} -Ausdrücken und α {\displaystyle {}\alpha } ein weiterer S {\displaystyle {}S} -Ausdruck.
Dann gilt Γ ⊨ α {\displaystyle {}\Gamma \vDash \alpha } genau dann, wenn Γ ⊢ α {\displaystyle {}\Gamma \vdash \alpha } gilt.
