Modallogik/Leerheitsaxiom/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Leerheitsaxiom

Das modallogische Axiomenschema

nennt man Leerheitsaxiom.