Zum Inhalt springen

Modallogik/K/Äquivalente Formulierung/Aufgabe

Aus Wikiversity

Zeige, dass das -Axiom äquivalent zu

ist.