Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen. Dabei werden Schlussregeln auf Prämissen angewandt, um zu Konklusionen zu gelangen. Welche Schlussregeln dabei erlaubt sind, wird durch das verwendete Kalkül bestimmt.
Die Ableitung ist zusammen mit der semantischen Folgerung einer der zwei logischen Methoden, um auf die Konklusion zu kommen.
Die Deduktion (lateinisch deductio ‚Abführen, Fortführen, Ableitung‘), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerung gegebener Prämissen auf die logisch zwingenden Konsequenzen. Deduktion ist schon bei Aristoteles als „Schluss vom Allgemeinen auf das Besondere“ verstanden worden, d. h. der Vererbung von Eigenschaften, die alle Mitglieder einer Gruppe teilen, auf echte Untermengen und einzelne Elemente. Dem stellt Aristoteles die Induktion als Gewinnung von allgemeinen Aussagen aus der Betrachtung mehrerer Einzelfälle, und die Abduktion oder Apagoge gegenüber, die feststellt, dass bestimmte Einzelfälle unter eine gegebene oder noch zu entdeckende allgemeine Regel fallen.
Quelle: https://de.wikipedia.org