Det å trekke konsekvenser av aksiomer, definisjoner og allerede beviste setninger. Se logikk.
deduksjon – matematikk
- Uttale
- deduksjˈon
- Etymologi
- av lat. 'utledning'
Det å trekke konsekvenser av aksiomer, definisjoner og allerede beviste setninger. Se logikk.