Die Ableitungsbeziehung
bedeutet, dass es Ausdrücke γ 1 , … , γ n ∈ Γ {\displaystyle {}\gamma _{1},\ldots ,\gamma _{n}\in \Gamma } mit
gibt. Aufgrund der aussagenlogischen Tautologie
ist dies äquivalent zu
Dies bedeutet gerade