În matematică, demonstrarea prin contrapoziție, sau demonstrarea prin contrapoziție, este o regulă de inferență folosită în demonstrații, unde se deduce o declarație condiționată din contrapozitivul său. Cu alte cuvinte, concluzia „dacă A, atunci B” este dedusă prin construirea unei dovezi a afirmației „dacă nu B, atunci nu A” în schimb.
Cum demonstrezi prin contradicție?
Pașii luați pentru o demonstrație prin contradicție (numită și demonstrație indirectă) sunt:
- Presumați opusul concluziei dvs. …
- Folosiți ipoteza pentru a obține noi consecințe până când una este opusă premisei dvs. …
- Concluzi că presupunerea trebuie să fie falsă și că opusul ei (concluzia ta inițială) trebuie să fie adevărată.
Cum demonstrezi legea contrapoziției?
"Dacă plouă, atunci îmi port haina" - "Dacă nu îmi port haina, atunci nu plouă." Legea contrapoziției spune că o afirmație condiționată este adevărată dacă și numai dacă contrapozitiva sa este adevărată.). Aceasta este adesea numită legea contrapozitivei sau regula modus tollens a inferenței.
Cum dovediți epuizarea?
Pentru cazul dovezii prin epuizare, arătăm că o afirmație este adevărată pentru fiecare număr luat în considerare. Dovada prin epuizare include, de asemenea, dovezi în care numerele sunt împărțite într-un set de categorii exhaustive, iar afirmația se arată a fi adevărată pentru fiecare categorie.
Când ar trebui să folosiți o dovadă prin contradicție?
Dovezile de contradicție sunt adesea folosite atunci când există o alegere binară între posibilități:
- 2 \sqrt{2} 2 este fie rațional, fie irațional.
- Există infinit de numere prime sau există infinit de numere prime.