Ableitung (Logik)

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 den verwendeten Kalkül bestimmt.

Die Ableitung ist zusammen mit der semantischen Folgerung eine der zwei logischen Methoden, um auf die Konklusion zu kommen.