Modallogik/Symmetrieaxiom/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Symmetrieaxiom

Das modallogische Axiomenschema

nennt man Symmetrieaxiom.