next up previous
Next: Tertium non datur Up: Aussagenlogik Previous: Modus ponendo tollens

Modus tollendo ponens

Dieser klassische Modus ist schon ein wenig aufwendiger zu beweisen:


Argument114

tex2html_wrap369
tabular118


next up previous
Next: Tertium non datur Up: Aussagenlogik Previous: Modus ponendo tollens

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