next up previous
Next: Modus tollendo ponens Up: Aussagenlogik Previous: Modus tollendo tollens

Modus ponendo tollens

Kaum komplizierter zu beweisen ist die klassische Schlussfigur modus ponendo tollens.


Argument105

Auch hier f├╝hrt wieder ein geradliniger und kurzer indirekter Beweis zum Ziel:

tex2html_wrap369
tabular109


next up previous
Next: Modus tollendo ponens Up: Aussagenlogik Previous: Modus tollendo tollens

Christian Klaus Gottschall
Fri Jun 12 00:41:28 CEST 1998