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

Es sei ${}(M,R)$ der trivale 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