Next: Tertium non datur
Up: Aussagenlogik
Previous: Modus ponendo tollens
Dieser klassische Modus ist schon ein wenig aufwendiger zu beweisen:
Next: Tertium non datur
Up: Aussagenlogik
Previous: Modus ponendo tollens
Christian Klaus Gottschall
Fri Jun 12 00:41:28 CEST 1998