Aussagenlogik/Ableitungsbeziehung/Konjugierter Modus ponens/Aufgabe/Lösung

Aus der Voraussetzung und der Konjunktionsregel (Fakt  (1)) ergibt sich

$\Gamma \vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}.$

Daraus und aus der Voraussetzung

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

ergibt sich mittels Modus ponens (Fakt  (3))

$\Gamma \vdash \alpha .$

Zur gelösten Aufgabe