Puas yog qhov kev lees paub qhov kev ua ntej siv tau?
Puas yog qhov kev lees paub qhov kev ua ntej siv tau?

Video: Puas yog qhov kev lees paub qhov kev ua ntej siv tau?

Video: Puas yog qhov kev lees paub qhov kev ua ntej siv tau?
Video: 1 tsug 13 hnub _part#2_phees lauj fullmusic MV 2022-2023 2024, Kaum ib hlis
Anonim

Hauv kev ua txhaum ntawm lees paub qhov tshwm sim, ib tug ua ib tug conditional nqe lus, lees paub qhov tshwm sim, thiab xaus lus tias qhov ua ntej yog muaj tseeb. Kev lees paub qhov tseeb ntawm qhov xwm txheej thiab xaus nws qhov tshwm sim yog ib daim ntawv pov thawj ntawm kev sib cav, feem ntau hu ua "modus ponens" nyob rau hauv propositional logic.

Tsis tas li ntawd, qhov kev lees paub qhov tseeb txhais li cas?

Txhais : Kev lees paub ntawm Antecedent ' Kev lees paub qhov tseeb 'los yog 'Modus ponens' yog ib tug logical inference uas infers tias "yog P implies Q; thiab P yog tau lees tias muaj tseeb, yog li ntawd Q yuav tsum muaj tseeb. " Kev lees paub lub txim.

Qhov thib ob, qhov sib txawv ntawm kev lees paub qhov tshwm sim thiab tsis lees paub qhov tseeb yog dab tsi? John yuav xav yuav Mary yog tus yog li ntawd . Tsis lees paub qhov qub txhais tau tias tsis kam John hlub Mary. Hauv lwm lo lus, John tsis hlub Mary. Kev lees paub qhov tshwm sim txhais tau hais tias John yuav xav yuav Mary.

Raws li kev txheeb cais, puas yog qhov tsis lees paub qhov tseeb?

Tsis lees paub qhov qub yog ib daim ntawv uas tsis muaj tseeb ntawm kev sib cav vim hais tias los ntawm qhov tseeb hais tias ib tug txaus mob rau ib nqe lus yog cuav ib tug tsis tau siv tau ly xaus lus cov lus dag, vim tej zaum yuav muaj lwm yam txaus uas yog qhov tseeb.

Vim li cas thiaj lees tias qhov tshwm sim tsis raug?

Modus ponens yog daim ntawv sib cav uas siv tau hauv Western lub tswv yim vim qhov tseeb ntawm thaj chaw lav qhov tseeb ntawm qhov xaus; txawm li cas los xij, lees paub qhov tshwm sim yog ib tsis raug daim ntawv sib cav vim qhov tseeb ntawm thaj chaw tsis lav qhov tseeb ntawm qhov xaus.

Pom zoo: