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.
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.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.