Die Deduktion ist die Logik des Ableitens. Dabei gibt es verschiedene Verfahren mit deren Hilfe man auf die Konklusion mithilfe der Prämissen schließen kann. Die deduktive Logik ist die formale Logik, da sie ihre Gültigkeit ihrer Form verdankt. Mit jedem Verfahren gibt es auch eine neue Definition der deduktiven Gültigkeit. Die Deduktion bietet den Vorteil, dass man aufgrund der Prämissen, wenn diese stimmen, nichts anderes schließen kann, als die Deduktion, sodass diese dann Gültigkeit erlangt.