Modallogik/Prädikatenlogik/Allquantor/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Welche modallogischen Axiomenschemata gelten in der Prädikatenlogik, wenn man den Notwendigkeitsoperator als mit einer fixierten Variablen interpretiert?
Eine Lösung erstellen