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
-