Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/K/Modell/Diamond-Iterationen/Zyklisch/Aufgabe
Sprache
Beobachten
Bearbeiten
Es sei
r
∈
N
{\displaystyle {}r\in \mathbb {N} }
. Charakterisiere das
modallogische
Axiomenschema
⊢
α
↔
◊
r
α
{\displaystyle \vdash \alpha \leftrightarrow \Diamond ^{r}\alpha }
graphentheoretisch.
Eine Lösung erstellen