Modallogik/K/Implikation von Notwendigkeit auf Möglichkeit/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das Distributionsaxiom liefert

Dabei ist aufgrund der Kontraposition und Fakt  (1) der Vordersatz äquivalent zu

Nach Kontraposition ist der Nachsatz äquivalent zu

was gerade

bedeutet. Es ergibt sich also die Ableitung

Zur gelösten Aufgabe