Modallogik/Paradox/Fatalismus/Widersprüchlich/Aufgabe

Zeige, dass eine fatalistische ${}K$-Modallogik, die einen paradoxen Ausdruck enthält, bereits widersprüchlich ist.

Eine Lösung erstellen