Schlussfolgerung

Als Schlussfolgerung, Konklusion oder Schlusssatz bezeichnet man in der Logik die sich im Rahmen eines Beweises ergebende hergeleitete Aussage.

Im allgemeinen Sprachgebrauch versteht man unter einer Schlussfolgerung auch das Durchführen eines Beweises, also das Schlussfolgern.

Für die automatisierte, computergestützte Schlussfolgerung wird auch häufig der Begriff Inferenz (engl. inference oder reasoning) verwendet.

Siehe auch: Sukzedens, forward chaining, backward chaining, Induktion, Deduktion, Case-Based Reasoning, Analogieschluss, Schlussregel, Inferenzrelation