Löb-Axiom/Möglichkeitsaxiom/Widerspruch/Semantisch/Aufgabe
Erscheinungsbild
Zeige semantisch, dass eine -Modallogik, in der das Möglichkeitsaxiom und das Löb-Axiom gelten, bereits widersprüchlich ist.
Zeige semantisch, dass eine -Modallogik, in der das Möglichkeitsaxiom und das Löb-Axiom gelten, bereits widersprüchlich ist.