Zum Inhalt springen

Modallogik/K/Löb-Axiom/Möglichkeitsversion/Aufgabe

Aus Wikiversity

Zeige, dass das Löb-Axiom äquivalent zu

ist.