Es sei ${\displaystyle {}S}$ ein Symbolalphabet, ${\displaystyle {}\Gamma }$ eine Menge an ${\displaystyle {}S}$-Ausdrücken und ${\displaystyle {}\alpha }$ ein weiterer ${\displaystyle {}S}$-Ausdruck.

Dann gilt ${\displaystyle {}\Gamma \vDash \alpha }$ genau dann, wenn ${\displaystyle {}\Gamma \vdash \alpha }$ gilt.