next up previous
Next: Satz vom ausgeschlossenen Widerspruch Up: Aussagenlogik Previous: Modus tollendo ponens

Tertium non datur

Nicht völlig trivial ist folgendes Argument zu beweisen:


Argument123

tex2html_wrap369
tabular127


next up previous
Next: Satz vom ausgeschlossenen Widerspruch Up: Aussagenlogik Previous: Modus tollendo ponens

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