Analysis

58 KAPITEL I. ALLGEMEINE GRUNDLAGEN
“Für alle n ∈ N gilt nicht n 2 = 2”
2.3.7. Wollen wir zeigen, daß aus einer Aussage A eine andere Aussage B
folgt, so können wir ebensogut zeigen: Gilt B nicht, so gilt auch A nicht. In
formelhafter Schreibweise haben wir also
(A ⇒ B) ⇔ ((nicht B) ⇒ (nicht A))
Wollen wir zum Beispiel zeigen (g ◦ f surjektiv) ⇒ (g surjektiv), so reicht
es, wenn wir uns überlegen: Ist g nicht surjektiv, so ist g ◦ f erst recht nicht
surjektiv.
2.3.8. In der Literatur findet man oft die Abkürzung oBdA für “ohne Beschränkung
der Allgemeinheit”.