Aussagenlogik/Ableitungsbeziehung/Kettenschlussregel/Aufgabe

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

Wenn ${}\Gamma \vdash \alpha \rightarrow \beta$ und ${}\Gamma \vdash \beta \rightarrow \gamma$, dann auch ${}\Gamma \vdash \alpha \rightarrow \gamma$.

Zur Lösung, Alternative Lösung erstellen