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

Dann folgt aus der Ableitungsbeziehung ${\displaystyle {}\Gamma \vdash \alpha }$ die Folgerungsbeziehung ${\displaystyle {}\Gamma \vDash \alpha }$.