Grundlagen: Mathematik

Was ist ein Beweis durch Kontraposition?

Statt ABA\Rightarrow B beweist man die äquivalente Aussage ¬B¬A\neg B\Rightarrow\neg A.

Nützlich, wenn aus der Verneinung der Behauptung leichter die Verneinung der Voraussetzung folgt.