Modallogik/K/Widersprüchliche Notwendigkeit/Notwendigkeit/Aufgabe

Zeige, dass in der ${}K$-Modallogik das Schema

$\Box \alpha \wedge \Box \neg \alpha \rightarrow \Box \beta$

ableitbar ist.

Zur Lösung, Alternative Lösung erstellen