Modallogik/K/Leerheitsaxiom/Charakterisierung/Aufgabe

Zeige, dass in einem ${}K$-System, in dem das Axiomenschema

$\Box \alpha \rightarrow \Box \neg \alpha$

gilt, bereits das Leerheitsaxiom gilt.

Eine Lösung erstellen