Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/Prädikatenlogik/Allquantor/Aufgabe
Sprache
Beobachten
Bearbeiten
Welche modallogischen Axiomenschemata gelten in der Prädikatenlogik, wenn man den Notwendigkeitsoperator
◻
{\displaystyle {}\Box }
als
∀
x
{\displaystyle {}\forall x}
mit einer fixierten Variablen
x
{\displaystyle {}x}
interpretiert?
Eine Lösung erstellen