Verfahren, um abgeleitetes Wissen mittels Schlußregeln aus bereits gesicherten Erkenntnissen oder angenommenen Voraussetzungen zu gewinnen (abzuleiten).

Die benutzten Schlußregeln sind meistens die der mathematischen Logik. Die heutigen mathematischen Disziplinen lassen sich deduktiv aufbauen. Bereits Aristoteles begann, das deduktive Schließen zu formalisieren; in der mathematischen Logik wurde diese Tendenz fortgesetzt.