Matematisk bevis

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

Matematisk bevis er en logisk påvisning av en sant utsagn på grunnlag av en hypotese.

Ofte begynner matematiske bevis med å vise at utsagnet er sant for et enkelt tilfelle, og dersom det også er sant for alle mulige variable, kan utsagnet formuleres som et teorem. Utsagnet kan i så tilfelle brukes til å formulere nye utsagn.