Schlussfolgerung

Eine Schlussfolgerung ist der allgemeine Mechanismus, durch den neue Aussagen aus vorhandenen entsprechend dem Regelwerk einer Logik abgeleitet werden; sie legt fest, wie Schlussfolgerungen aus Prämissen innerhalb eines gewählten Formalismus folgen.