Lemmon-Sprachhilfe

(dieser Text: Steven DeHaven, Calgary, und Christian Gottschall, Wien)

Applet in diesem Fenster öffnen...

Dieser Text beschreibt weder den Kalkül noch das Beweisbau-Applet selbst. Wenn Sie zu diesen Themen Hilfe benötigen, lesen Sie bitte die Hilfe zu den Regeln bzw. die Hillfe zum Applet. Dieser Text beschreibt nur die formale Sprache, die das Beweisbau-Applet "versteht".


© Christian Gottschall / christian.gottschall@univie.ac.at / 2012-03-31 01:19:53