Nyob rau hauv lej, pov thawj los ntawm contrapositive, los yog pov thawj los ntawm contraposition, yog ib txoj cai ntawm inference siv nyob rau hauv cov ntaub ntawv pov thawj, qhov twg ib tug infers ib tug conditional nqe lus los ntawm nws contrapositive. Hauv lwm lo lus, qhov xaus "if A, ces B" yog ua tiav los ntawm kev tsim cov ntawv pov thawj ntawm qhov kev thov "yog tias tsis yog B, tsis yog A" hloov.
Koj sau ntawv pov thawj los ntawm kev sib cav li cas?
Peb ua raws cov kauj ruam no thaum siv pov thawj los ntawm qhov tsis sib xws:
- Xav tias koj cov lus tsis tseeb.
- Ua raws li koj xav nrog cov pov thawj ncaj qha.
- Cia li sib cav sib ceg.
- hais tias vim qhov tsis sib xws, tsis tuaj yeem hais tias cov lus tsis yog, yog li nws yuav tsum muaj tseeb.
Koj ua pov thawj li cas?
Direct Proof
- Koj ua pov thawj qhov cuam tshuam p q los ntawm kev xav tias p yog qhov tseeb thiab siv koj cov kev paub keeb kwm yav dhau los thiab cov kev cai ntawm kev ua pov thawj q yog qhov tseeb.
- Qhov kev xav ''p yog qhov tseeb' yog thawj qhov txuas hauv cov lus sib tham ntawm cov lus, txhua qhov qhia txog nws qhov kev vam meej, uas xaus rau hauv 'q yog qhov tseeb'.
piv txwv ntawm qhov cuam tshuam yog dab tsi?
Lub ntsiab txhais ntawm qhov cuam tshuam yog qee yam uas tau suav hais tias. Ib qho piv txwv ntawm qhov cuam tshuam yog tus tub ceev xwm txuas tus neeg rau kev ua txhaum txawm tias tsis muaj pov thawj. Kev ua ntawm implying lossis xwm txheej ntawm implied.
Peb txoj kev ua pov thawj yog dab tsi yog A ces B?
Nws muaj peb txoj hauv kev los ua pov thawj ntawm daim ntawv "Yog A, ces B." Lawv hu ua cov pov thawj ncaj qha, tsis muaj pov thawj zoo thiab pov thawj los ntawm qhov tsis sib xws. DIRECT PROOF. Txhawm rau ua pov thawj tias cov lus "Yog A, ces B" yog qhov tseeb los ntawm kev ua pov thawj ncaj qha, pib los ntawm kev xav tias A yog qhov tseeb thiab siv cov ntaub ntawv no los txiav txim siab tias B yog qhov tseeb.
