Anwendungstechniken von Kontrapositionen und Reductio ad Absurdum