Diskussion:Die Sprache der Mathematik: Beweise

Seiteninhalte werden in anderen Sprachen nicht unterstützt.
Aus Wikibooks

Hallo, mir scheint die Erklärung zum indirekten Beweis nicht ganz eingängig / schlüssig:

zu 2, "Kontraposition" vielleicht etwas ausführlicher schreiben: Man nimmt an, dass B falsch ist, zeigt dass daraus "A ist falsch" folgt, dies steht im Widerspruch zur Voraussetzung A, also muss die Annahme "B ist falsch" falsch sein und somit das Gegenteil gelten (nämlich "B ist wahr")

zu 3, "Widerspruch": verstehe ich nicht. Wenn man "A ist falsch" und "B ist falsch" annimmt, so hat man ganz unmittelbar den Widerspruch zur Voraussetzung "A", ohne etwas zeigen zu müssen und ohne dass das etwas bedeutet. Oder war das anders gemeint?

zu 3, Hier wird wohl angenommen, dass A richtig ist.

"Voraussetzungen eines Satzes beweisen" - Was soll das?