Next: Modus tollendo ponens
Up: Aussagenlogik
Previous: Modus tollendo tollens
Kaum komplizierter zu beweisen ist die klassische Schlussfigur
modus ponendo tollens.
Auch hier führt wieder ein geradliniger und kurzer indirekter Beweis
zum Ziel:
Next: Modus tollendo ponens
Up: Aussagenlogik
Previous: Modus tollendo tollens
Christian Klaus Gottschall
Fri Jun 12 00:41:28 CEST 1998