Modallogik/Rahmen/Reflexivität/Fakt/Beweis/Aufgabe
Zeige, dass in einem gerichteten Graphen das modallogische Reflexivitätsaxiom genau dann gilt, wenn reflexiv ist.
Zeige, dass in einem gerichteten Graphen das modallogische Reflexivitätsaxiom genau dann gilt, wenn reflexiv ist.