Modus ponens/Interne Version/Erläuterung/Aufgabe

Erläutere die Beziehung zwischen dem Modus ponens und

$\vdash \alpha \wedge {\left(\alpha \rightarrow \beta \right)}\rightarrow \beta .$

Eine Lösung erstellen