Widerspruchsbeweis/Implikationsaussage/Erläuterung/Aufgabe/Lösung

Man möchte zeigen, dass aus einer Aussage ${}A$ eine weitere Aussage ${}B$ folgt. Beim Beweis durch Widerspruch nimmt man an, dass gleichzeitig ${}A$ und nicht ${}B$ gelten. Unter diesen Voraussetzungen zeigt man, dass sich ein Widerspruch ergibt. Dies bedeutet, dass ${}A$ und nicht ${}B$ nicht gleichzeitig gelten können, was eben die Implikation ${}A\implies B$ bedeutet.

Zur gelösten Aufgabe