Matematiikassa todiste kontrapositiolla tai todiste kontrapositiolla on todistuksissa käytetty päättelysääntö, jossa ehdollinen lause päätetään sen kontrapositiivista. Toisin sanoen johtopäätös "jos A, niin B" päätellään rakentamalla sen sijaan todiste väitteelle "jos ei B, niin ei A".
Miten todistat ristiriidalla?
Vaiheet, jotka suoritetaan ristiriitaisen todistuksen saamiseksi (kutsutaan myös epäsuoraksi todisteeksi):
- Ole johtopäätöksesi päinvastainen. …
- Käytä olettamusta uusien seurausten johtamiseen, kunnes jokin on oletuksesi vastakohta. …
- Päättele, että oletuksen on oltava väärä ja että sen vastakohdan (alkuperäinen päätelmäsi) on oltava tosi.
Miten todistat kontraposition lain?
"Jos sataa, käytän takkiani" - "Jos en käytä takkiani, niin ei sataa." Kontrapositiolaki sanoo, että ehdollinen lause on tosi, jos ja vain jos sen kontrapositiivisuus on tosi.). Tätä kutsutaan usein kontrapositiivisuuden laiksi tai päättelytavan modus tollens -säännöksi.
Miten todistat uupumuksesi?
Käytöstä osoittavan todisteen tapauksessa osoitamme, että väite on tosi jokaiselle tarkastelulle numerolle. Proof by Exhaustion sisältää myös todisteen, jossa luvut on jaettu tyhjentävien luokkien joukkoon ja väitteen osoitetaan olevan totta jokaisessa kategoriassa.
Milloin sinun tulee käyttää ristiriitatodistusta?
Ristiriitatodistuksia käytetään usein, kun vaihtoehtojen välillä on binäärivalinta:
- 2 \sqrt{2} 2 on joko rationaalinen tai irrationaalinen.
- Alkulukuja on äärettömän monta tai alkulukua on äärettömän monta.