Es ist
-
und
-
nach
Axiom (1).
Mit
Fakt (6)
(Kontraposition)
ergibt sich
-
und daraus und der zweiten Zeile
mit der Kettenschlussregel
-
Mit Kontraposition
(als Regel)
ergibt sich aus der ersten und der letzten Zeile unter Verwendung von
Fakt
wiederum
-
und
-
Daraus ergibt sich wegen
Axiom (3)
-
und somit
-