"avledning" er et 9-bokstavers substantiv som brukes som synonym for "deduksjon". deduksjon betyr: Prosess hvor man trekker en konklusjon ut fra en gitt premiss.