Modallogik/K/S5/Äquivalenzrelation/Volle Relation/Aufgabe

Zeige, dass für eine modallogische Aussage $\alpha$ die folgenden Aussagen äquivalent sind.

1. Es ist $S5⊢\alpha$.
2. Es ist $(M,R)\models \alpha$ für jede Äquivalenzrelation $R$ auf einer Menge $M$.
3. Es ist $(M,R)\models \alpha$ für jede volle Relation $R$ auf einer Menge $M$.

Eine Lösung erstellen