avlede. Benyttes innen den formale logikk i forbindelse med deduktive systemer og bevis. Vi sier at et utsagn er deduserbart innen et deduktivt system hvis det innen dette system finnes et bevis for det. Se deduksjon.
dedusere
- Uttale
- dedusˈere
- Etymologi
- av lat. deducere