Matemaatikas on tõestus kontrapositiiviga või tõestus kontrapositsiooniga tõestustes kasutatav järeldusreegel, kus tingimuslause järeldatakse selle kontrapositiivi põhjal. Teisisõnu, järeldus "kui A, siis B" tuletatakse selle asemel väite "kui mitte B, siis mitte A" konstrueerimisega.
Kuidas sa tõestad vastuoluga?
Vastulausega tõendamiseks (nimetatakse ka kaudseks tõestuseks) astuvad sammud:
- Eeldage oma järeldusele vastupidist. …
- Kasutage eeldust uute tagajärgede tuletamiseks, kuni see on teie eelduse vastand. …
- Järeldage, et eeldus peab olema vale ja selle vastand (teie esialgne järeldus) peab olema tõene.
Kuidas tõestate kontrapositsiooni seadust?
"Kui sajab, siis kannan mantlit" - "Kui ma mantlit ei kanna, siis vihma ei saja." Kontrapositsiooniseadus ütleb, et tingimuslik väide on tõene siis ja ainult siis, kui selle kontrapositiiv on tõene.). Seda nimetatakse sageli kontrapositiivsuse seaduseks või järeldamisreegliks.
Kuidas tõestate kurnatust?
Ammendamise teel tõestamise puhul näitame, et väide kehtib iga vaadeldava arvu kohta. Tõestus ammendumise järgi sisaldab ka tõestust, kus arvud on jagatud ammendavate kategooriate hulka ja väide on tõene iga kategooria kohta.
Millal peaksite kasutama vastuolulist tõestust?
Vastuolutõestusi kasutatakse sageli siis, kui võimaluste vahel on binaarne valik:
- 2 \sqrt{2} 2 on kas ratsionaalne või irratsionaalne.
- Algandeid on lõpmatult palju või on lõpmatult palju algarvu.
