Statt A⇒BA\Rightarrow BA⇒B beweist man die äquivalente Aussage ¬B⇒¬A\neg B\Rightarrow\neg A¬B⇒¬A.
Nützlich, wenn aus der Verneinung der Behauptung leichter die Verneinung der Voraussetzung folgt.