Aussagenlogik/Konjunktion Implikation/Entsprechende Regel/Keine Umkehrung/Aufgabe

Zeige, dass eine Regel der Form

Wenn ${}\vdash \alpha$, dann ${}\vdash \beta$ gelten kann, ohne dass ${}\vdash \alpha \rightarrow \beta$ gilt.

Zur Lösung, Alternative Lösung erstellen