Deductie is een methode in de
filosofie en in de
logica, waarbij een
gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van
premissen en de
negatie van de conclusie inconsistent zijn.