Modallogik/Antiaxiom/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Antiaxiom

Das modallogische Axiomenschema

nennt man Antiaxiom.