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

Zeige, dass eine Regel der Form

Wenn $⊢\alpha$, dann $⊢\beta$ gelten kann, ohne dass $⊢\alpha \to \beta$ gilt.

Zur Lösung, Alternative Lösung erstellen