Schlussregeln und Methode des indirekten Beweises

Neue Frage »

cod3r Auf diesen Beitrag antworten »
Schlussregeln und Methode des indirekten Beweises
Hallo,

ich besuche seit wenigen Tagen den Mathematik-Vorkurs und stoße bei der Überarbeitung auf folgendes Problem:

Wir haben 10 Schlussregeln zum Thema "Aussagenlogik" niedergeschrieben. Diese kann ich auch, bis auf eine, in Wahrheitstabellen beweisen.

2 von den 10 Schlussregeln sind Methoden zum indirekten Beweis

1.) (A => B) <=> (¬B => ¬ A)

und

2.) A <=> (¬ A => Widerspruch) [Kann das Latex-Zeichen dafür nicht finden]

Frage:.

Was ist ein indirekter Beweis in diesen Beispielen? Kann mir das nicht so ganz erklären.
tigerbine Auf diesen Beitrag antworten »
RE: Schlussregeln und Methode des indirekten Beweises
Zu zeigen ist "aus A folgt B". Wenn man das nicht tut, sondern "aus nichtB folgt NichtA" zeigt, so ist das indirekt.
cod3r Auf diesen Beitrag antworten »

Ahhh, also wenn man das Pferd von hinten aufzäumt.... (von rechts nach links anstatt von links nach rechts) dann ist es indirekt?

Warum macht man den indirekten Beweis? Ist es manchmal einfacher "das andere" zu nehmen?
tigerbine Auf diesen Beitrag antworten »

Genau, manchmal ist es einfacher das Pferd falsch herum zu reiten. Augenzwinkern
cod3r Auf diesen Beitrag antworten »

Yup, verstanden.....

Vielen Dank für die prompte Antwort. Freude
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »