Hva er en disproof?

Motbeviser er en type matematisk bevis som viser at en påstand eller hypotese er usann. Med andre ord er et motbevis et bevis på at noe ikke kan v
re sant.

For å motbevise et utsagn må en matematiker finne en logisk motsigelse i selve utsagnet, eller vise at utsagnet fører til en logisk motsigelse når det brukes på visse spesifikke tilfeller.

For Tenk for eksempel på utsagnet "Alle katter er lilla." Denne uttalelsen kan motbevises ved å vise at ikke alle katter er lilla, for eksempel ved å presentere bevis på en katt som ikke er lilla. Alternativt kan man vise at utsagnet er logisk motstridende ved å påpeke at noen katter ikke er lilla, og derfor kan utsagnet ikke v
re sant. søke etter løsninger på matematiske problemer. De er også nyttige innen logikk og informatikk, hvor de kan brukes til å teste gyldigheten av algoritmer og andre logiske konstruksjoner.