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.