Aussagenlogik/Ableitungskalkül/p impliziert (q impliziert p und q)/Aufgabe

Beweise die aussagenlogische Tautologie

$\vdash \alpha \rightarrow (\beta \rightarrow \alpha \wedge \beta )$

aus den aussagenlogischen Axiomen.

Zur Lösung, Alternative Lösung erstellen