Aussagenlogik/Konjunktion Implikation/Entsprechende Regel/Aufgabe

Zeige, dass aus ${}\vdash \alpha _{1},\ldots ,\vdash \alpha _{n}$ und ${}\vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}\rightarrow \beta$ die Ableitbarkeit ${}\vdash \beta$ folgt.

Eine Lösung erstellen