Widerspruchsbeweis/Erläuterung/Aufgabe/Lösung

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