Modus Darii/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 Aufgabe gilt in dieser Situation auch

Nach Fakt  (3) ist

Dies zusammengenommen ergibt mit dem Kettenschluss

was im obigen Spezialfall die gewünschte Ableitbarkeit

liefert.
Zur gelösten Aufgabe