Dedusere, 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.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

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

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