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.