next up previous
Next: Modus ponendo tollens Up: Aussagenlogik Previous: Distributivgesetze

Modus tollendo tollens

Folgende Schlussfigur ist unter dem klassischen Namen modus tollendo tollens bekannt:


Argument95

Dieses Beiepiel lässt sich mit einem recht einfachen indirekten Beweis lösen:

tex2html_wrap369
tabular99


next up previous
Next: Modus ponendo tollens Up: Aussagenlogik Previous: Distributivgesetze

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