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

Es sei ${}(M,R)$ der triviale Graph in dem Sinne, dass ${}M$ einpunktig ist und dieser Punkt mit sich in Relation steht. Zeige, dass

$(M,R)\vDash \alpha$

genau dann bei jeder Belegung gilt, wenn ${}\alpha$ nicht paradox ist.

Eine Lösung erstellen