Modallogik/K/Trivialer Graph/Paradox/Ableitung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei der trivale Graph in dem Sinne, dass einpunktig ist und dieser Punkt mit sich in Relation steht. Zeige, dass

genau dann bei jeder Belegung gilt, wenn nicht paradox

ist.
Eine Lösung erstellen