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

Beweise die aussagenlogische Tautologie

$⊢\alpha \to (\beta \to \alpha \wedge \beta )$

aus den aussagenlogischen Axiomen.

Zur Lösung, Alternative Lösung erstellen