Es gelten die allgemeinen Vorbemerkungen.
| (1) | Hypothese | ∀d: ¬(a+d)=c | |||||||||
| (2) | Spezialisierung (1) d ← (e+f) | ¬(a+(e+f))=c | |||||||||
| (3) | Verallgemeinerung (2) nach f | ∀f: ¬(a+(e+f))=c | |||||||||
| (4) | Verallgemeinerung (3) nach e | ∀e: ∀f: ¬(a+(e+f))=c | |||||||||
| (5) | Konklusion (1), (4) | <∀d: ¬(a+d)=c ⇒ ∀e: ∀f: ¬(a+(e+f))=c> | |||||||||
| (6) | Kontraposition (5) | <¬∀e: ∀f: ¬(a+(e+f))=c ⇒ ¬∀d: ¬(a+d)=c> | |||||||||