Die Regeln des Lemmon-Systems

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

Applet in diesem Fenster öffnen...

Dieser Hilfetext ist eine kurze Übersicht über die Schlussregeln des Systems. Wenn Sie Hilfe mit dem Applet benötigen, lesen Sie bitte die Hilfe zum Applet. Benötigen Sie Hilfe zur logischen Sprache, lesen Sie bitte die Sprachhilfe. Bitte beachten Sie, dass dieser Text nur eine Übersicht über die angebotenen Schlussregeln ist und keine Einführung in deduktive Systeme bieten kann. Falls Sie noch nicht mit Kalkülen des natürlichen Schließens oder zumindest anderen formalen Systemen vertraut sind, sollten Sie zunächst die Vorlesung "Einführung in die Logik" bei Dr. Klaus Dethloff oder die Nachfolgevorlesung bei Dr. Esther Ramharter besuchen oder die einführenden Kapitel in E.J. Lemmons Buch "Beginning Logic" lesen.

Die übrigen Regeln beziehen sich auf die Prädikatenlogik und sollen zu einem späteren Zeitpunkt erläutert werden.


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