5.2Beweisprinzipien

Beweis durch Kontraposition

Statt „aus A folgt B“ zeigt man „aus nicht B folgt nicht A“ – oft der leichtere Weg.

Leitformel
(¬B⇒¬A)⟺(A⇒B)(\lnot B \Rightarrow \lnot A) \quad \Longleftrightarrow \quad (A \Rightarrow B)
(¬B⇒¬A)(\lnot B \Rightarrow \lnot A)⟺(A⇒B)\Longleftrightarrow (A \Rightarrow B)
Lernziel

Aussagen durch Kontraposition beweisen und erkennen, wann sich dieser Weg lohnt.

Einheit wird geladen …