Es sei ${\displaystyle {}\Gamma \subseteq L^{V}}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${\displaystyle {}V}$ und sei ${\displaystyle {}\alpha \in L^{V}}$. Man sagt, dass ${\displaystyle {}\alpha }$ aus ${\displaystyle {}\Gamma }$ ableitbar ist, geschrieben

${\displaystyle \Gamma \vdash \alpha ,}$

wenn es endlich viele Ausdrücke ${\displaystyle {}\alpha _{1},\ldots ,\alpha _{n}\in \Gamma }$ derart gibt, dass

${\displaystyle \vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}\rightarrow \alpha }$

gilt.