Modallogik/Rahmen/Euklidisch/Fakt/Beweis/Aufgabe
Zeige, dass in einem gerichteten Graphen das modallogische euklidische Axiom genau dann gilt, wenn euklidisch ist.
Zeige, dass in einem gerichteten Graphen das modallogische euklidische Axiom genau dann gilt, wenn euklidisch ist.