Löb-Axiom/Möglichkeitsaxiom/Widerspruch/Semantisch/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige semantisch, dass eine -Modallogik, in der das Möglichkeitsaxiom und das Löb-Axiom

gelten, bereits widersprüchlich ist.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Löb-Axiom/Möglichkeitsaxiom/Widerspruch/Semantisch/Aufgabe&oldid=852921“