Zum Inhalt springen

Modallogik/K/Widersprüchliche Notwendigkeit/Notwendigkeit/Aufgabe/Lösung

Aus Wikiversity


Aus der aussagenlogischen Tautologie

ergibt sich mit Fakt  (1)

Wegen Fakt  (4) gilt

Der Kettenschluss liefert