Modallogik/K/Äquivalente Formulierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass das -Axiom äquivalent zu

ist.
Eine Lösung erstellen