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.