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.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

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