Das korrekte Schließen bezeichnet eine Gedankenfolge, die nach den Gesetzen der formalen Logik erfolgt.

Die Korrektheit des Schließens ist eine notwendige Bedingung, die einen wahren Schlusssatz, eine wahre Konklusion im Ergebnis der Schlussfolgerung garantiert.

Jedoch gibt die bloße Korrektheit des Schließens hinsichtlich ihrer logischen Form noch keine Gewähr dafür, dass der Schlusssatz, der im Ergebnis der Schlussfolgerung erhalten wurde, auch wahr ist.

Damit diese Bedingung erfüllt wird, müssen im Schließen die Bedingungen für Korrektheit und Wahrheit erfüllt sein.

siehe auch Beweiskraft, Begründetheit (Logik), Beweis (Logik)