Es sei ${\displaystyle {}\Gamma \subseteq L^{V}}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${\displaystyle {}V}$. Begründe die folgende Regel für die Ableitungsbeziehung:

${\displaystyle {}\Gamma \vdash \alpha _{1},\ldots ,\Gamma \vdash \alpha _{n}}$

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

${\displaystyle {}\Gamma \vdash \beta }$