Löb-Axiom/Möglichkeitsaxiom/Widerspruch/Aufgabe

Zeige, dass eine ${}K$-Modallogik, in der das Möglichkeitsaxiom und das Löb-Axiom

gelten, bereits widersprüchlich ist.

Eine Lösung erstellen