Modellierung WS 2010/11 - Folie 261e
Ziele:
Widerspruchsbeweis schrittweise konstruieren
in der Vorlesung:
Erläuterungen dazu
- Ausgehen von Voraussetzungen und Behauptung.
- Implikation zerlegen.
- Behauptung negieren und zum Widerspruch führen
- Beweis ausformulieren.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 02.11.2010