Yog li lub laj thawj rau lub rooj sib tham 'tsis tseeb txhais tau tias muaj tseeb' yog qhov nws ua cov lus zoo li x<10 →x<100 muaj tseeb rau txhua tus nqi ntawm x, raws li qhov xav tau Koj xav tau "lub neej tiag", eh? Yog tus tub ceev xwm pom koj khiav ceev ces koj yuav tau them tus nqi nplua. Qhov no muaj tseeb.
Vim li cas p implies q tseeb thaum p yog cuav?
Qhov cuam tshuam p → q (nyeem: p implies q, lossis p ces q) yog cov lus hais uas lees tias yog p yog qhov tseeb, ces q kuj muaj tseeb. Peb pom zoo tias p → q yog qhov tseeb thaum p yog qhov tsis tseebnqe lus p hu ua qhov kev xav ntawm qhov cuam tshuam, thiab nqe lus q hu ua qhov xaus ntawm qhov cuam tshuam.
Ua ob qhov cuav ua qhov tseeb?
No. Formal logic (yog vim li cas) guarantees tsuas yog hais tias los ntawm cov nqe lus tseeb, ib tug cuav lus xaus (lus hais) tsis tuaj yeem txiav tawm. Qhov laj thawj siv tau khaws qhov tseeb ntawm thaj chaw.
Puas yog 1 qhov tseeb ntawm qhov cuav?
Tab sis cov lus muab qhov tseeb thiab tsis tseeb hauv txoj kev txawv txawv. Yeej tsis muaj tus nqi boolean. Tus lej 0 suav tias yog cuav thiab tag nrho lwm tus lej suav tias yog qhov tseeb…. … 1 raug suav hais tias yog qhov tseeb vim nws tsis yog xoom.
Puas muaj tseeb thiab cuav?
Muaj tseeb yog sau: tseeb; Sau ntawv cuav: cuav; Tsis yog sau ntau yam. Hauv Matlab nws yog tilde (~).
