Modus Disamis/Ableitbarkeit/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es gilt die aussagenlogische Ableitbarkeit

Dies fassen wir als eine Aussage vom Typ

auf. Nach Fakt gilt in dieser Situation auch

Nach Fakt  (3) ist

Dies zusammengenommen ergibt mit dem Kettenschluss

was im obigen Spezialfall die Ableitbarkeit

liefert. Eine aussagenlogische Umformulierung liefert

Zur gelösten Aufgabe