Modallogik/Ableitungssystem/Definition/Begriff/Inhalt

Links hinzufügen
Aus Wikiversity

Eine unter aussagenlogischen Ableitungen abgeschlossene Teilmenge der modallogischen Sprache heißt (formale) Modallogik.

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Modallogik/Ableitungssystem/Definition/Begriff/Inhalt&oldid=850078“