Wir werden jetzt einige Schlussregeln und deren Anwendungen erläutern. Dabei ist zu beachten, dass die Vorschriften zur Ausführung eines logischen Schlusses auf den Gesetzen der Aussagenlogik beruhen. Sie beschreiben verbal und formal, wie man direkt ohne Zwischenrechnung aus einer oder mehreren Prämissen auf den Folgesatz schließt. Es wird hierbei stets von wahren Prämissen auf eine wahre Konklusion geschlossen.

Bei der Anwendung einer Schlussregel auf einen konkreten Fall ist es nicht die Aufgabe der Logik zu prüfen bzw. festzustellen, dass die Voraussetzungen inhaltlich tatsächlich wahr sind. Der logische Schluss stellt nur sicher, dass die geforderte Konklusion richtig ist und nicht mehr überprüft werden muss.

Wir werden nun verschiedene Schlussregeln kennenlernen, die wir für Beweisprinzipien benötigen. Genauer eingehen werden wir auf die folgenden Schlussregeln: