Aussagenlogik/Ableitungsbeziehung/Konjunktionsregel/1/Aufgabe

Es sei ${}\Gamma \subseteq L^{V}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$. Begründe die Konjunktionsregel für die Ableitungsbeziehung: Wenn ${}\Gamma \vdash \alpha$ und ${}\Gamma \vdash \beta$, dann ist auch ${}\Gamma \vdash \alpha \wedge \beta$.

Zur Lösung, Alternative Lösung erstellen