next up previous
Next: Satz von DeMorgan Up: Aussagenlogik Previous: Tertium non datur

Satz vom ausgeschlossenen Widerspruch

Recht einfach zu beweisen ist folgendes Argument:


Argument132

tex2html_wrap369
tabular136

...oder k├╝rzer, aber weniger leicht lesbar:

tex2html_wrap369
tabular142


next up previous
Next: Satz von DeMorgan Up: Aussagenlogik Previous: Tertium non datur

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