I matematik er bevis ved kontrapositiv eller bevis ved modsætning en slutningsregel, der bruges i beviser, hvor man udleder en betinget erklæring fra dens kontrapositiv. Med andre ord, konklusionen "hvis A, så B" udledes ved at konstruere et bevis for påstanden "hvis ikke B, så ikke A" i stedet.
Hvordan beviser du ved selvmodsigelse?
Trinnene til et bevis ved modsigelse (også kaldet indirekte bevis) er:
- Antag det modsatte af din konklusion. …
- Brug antagelsen til at udlede nye konsekvenser, indtil en er det modsatte af din forudsætning. …
- Konkluder, at antagelsen skal være falsk, og at dens modsætning (din oprindelige konklusion) skal være sand.
Hvordan beviser du kontrapositionsloven?
"Hvis det regner, så har jeg min frakke på" - "Hvis jeg ikke har min frakke på, så regner det ikke." Modsætningsloven siger, at et betinget udsagn er sandt, hvis, og kun hvis, dets modsætning er sandt.). Dette kaldes ofte kontrapositivloven eller modus tollens-reglen om slutninger.
Hvordan beviser du udmattelse?
I tilfælde af Proof by Exhaustion viser vi, at en erklæring er sand for hvert tal i betragtning. Proof by Exhaustion inkluderer også bevis, hvor tal er opdelt i et sæt udtømmende kategorier, og udsagnet er vist at være sandt for hver kategori.
Hvornår skal du bruge et modsigelsesbevis?
Modsigelsesbeviser bruges ofte, når der er et eller andet binært valg mellem muligheder:
- 2 \sqrt{2} 2 er enten rationel eller irrationel.
- Der er uendeligt mange primtal, eller der er uendeligt mange primtal.