Katika hisabati, uthibitisho kwa vinyume, au uthibitisho kwa ukinzani, ni kanuni ya makisio inayotumika katika ithibati, ambapo mtu anakisia kauli yenye masharti kutoka kwa kinyume chake. Kwa maneno mengine, hitimisho "ikiwa A, basi B" inatolewa kwa kuunda uthibitisho wa dai "ikiwa sio B, basi sio A" badala yake.
Unathibitishaje kwa kupingana?
Hatua zinazochukuliwa ili kuthibitisha kwa kupingana (pia huitwa uthibitisho usio wa moja kwa moja) ni:
- Fikiria kinyume cha hitimisho lako. …
- Tumia dhana kupata matokeo mapya hadi moja iwe kinyume cha dhana yako. …
- Hitimisha kwamba dhana lazima iwe ya uwongo na kwamba kinyume chake (hitimisho lako la asili) lazima liwe kweli.
Unathibitishaje sheria ya Contraposition?
"Ikiwa kunanyesha, basi ninavaa koti langu" - "Ikiwa sitavaa koti langu, basi mvua hainyeshi." Sheria ya ukinzani inasema kwamba taarifa yenye masharti ni kweli ikiwa, na iwapo tu, mkanganyiko wake ni kweli.). Hii mara nyingi huitwa sheria ya ukinzani, au kanuni ya modus tollens ya makisio.
Unathibitishaje kuishiwa nguvu?
Kwa kesi ya Uthibitisho kwa Kuchoka, tunaonyesha kuwa taarifa ni kweli kwa kila nambari inayozingatiwa. Uthibitisho wa Kuchoka pia unajumuisha uthibitisho ambapo nambari zimegawanywa katika seti ya kategoria kamilifu na taarifa inaonyeshwa kuwa kweli kwa kila aina.
Je, ni wakati gani unapaswa kutumia uthibitisho kwa kupingana?
Dhibitisho za ukinzani mara nyingi hutumika kunapokuwa na chaguo la jozi kati ya uwezekano:
- 2 \sqrt{2} 2 ni ya kimantiki au haina mantiki.
- Kuna matoleo ya awali mengi sana au kuna matoleo ya awali mengi kabisa.