Kontraposition und logische Richtung

Implikationen in ihre gleichwertige Kontraposition übersetzen und die günstigere Beweisrichtung wählen.