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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.