Wann was — Beweistechnik wählen
| Situation | Technik | Warum |
|---|---|---|
| Direkter Weg von p nach q sichtbar | Direkter Beweis | Effizienteste Methode |
| ¬q ist einfacher als q | Kontraposition | ¬q → ¬p äquivalent zu p → q |
| Annahme ¬q liefert Struktur | Widerspruch | Reductio ad absurdum |
| Aussage über alle n ∈ ℕ | Vollständige Induktion | Domino-Effekt |
| Endlich viele Fälle | Fallunterscheidung | Jeden Fall einzeln prüfen |
| Eindeutigkeit zu zeigen | Annahme: zwei Lösungen | Zeigen, dass beide gleich sind |
FaustregelErst direkt versuchen. Wenn das schwierig wird — Kontraposition prüfen. Wenn die Annahme mehr Material liefert als die Folgerung — Widerspruch. Bei "für alle n" — Induktion.