Widerspruchsbeweis/Erläuterung/Aufgabe/Lösung

Man möchte eine Aussage ${}A$ beweisen. Man nimmt an, dass ${}A$ nicht gilt. Daraus leitet man durch logisch korrektes Schließen einen Widerspruch her. Somit kann ${}\neg A$ nicht gelten und also muss ${}A$ gelten.

Zur gelösten Aufgabe