(lat. bortföra, avleda).
1. Inom formell logik innebär deduktion att härleda en utsaga från andra utsagor i enlighet med logiska slutledningsregler. "Deducera" och "deduktion" är syntaktiska* begrepp, eftersom det är möjligt att följa slutledningsreglerna och att kontrollera följdriktigheten av deduktionen, utan att man behöver känna till den mening vi förbinder med de ord som uppträder i premisser och slutsats. Dvs. en sluledning där man från det allmänna (generella, universella) sluter sig till de enskilda.
2. Ett deduktivt system är en mängd av [[axiom]] och slutledningsregler.