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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

  1. Es ist .
  2. Es ist für jede Äquivalenzrelation auf einer Menge .
  3. Es ist für jede volle Relation auf einer Menge .