dedusere

Dedusere er å avlede. Det 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.

Faktaboks

Uttale
dedusˈere
Etymologi
av latin deducere

Les mer i Store norske leksikon

Kommentarer

Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.

Du må være logget inn for å kommentere.

eller registrer deg