Aussagenlogik/Ableitungsbeziehung/Konjugierter Modus ponens/Aufgabe

Es sei  $\Gamma \subseteq L^V$  eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge $V$. Begründe die folgende Regel für die Ableitungsbeziehung: Wenn $\Gamma ⊢{\alpha }_1,\dots ,\Gamma ⊢{\alpha }_n$ und $\Gamma ⊢{\alpha }_1\wedge \dots \wedge {\alpha }_n\to \beta$, dann auch $\Gamma ⊢\beta$.

Zur Lösung, Alternative Lösung erstellen