Logic yog science ntawm lub siab, paub txij thaum ub. Nws yog siv los ntawm txhua tus neeg, tsis hais qhov chaw yug, thaum lawv xav txog thiab kos cov lus xaus txog ib yam dab tsi. Kev xav txog kev xav yog ib qho ntawm ob peb yam uas paub qhov txawv ntawm tus txiv neej los ntawm cov tsiaj. Tab sis tsuas yog kos cov lus xaus tsis txaus. Qee zaum koj yuav tsum paub qee cov cai. Tus qauv De Morgan yog ib txoj cai zoo li no.
Brief keeb kwm yav dhau
Augustus, lossis Lub Yim Hli de Morgan nyob hauv nruab nrab ntawm xyoo pua 19th hauv Scotland. Nws yog thawj tus thawj tswj hwm ntawm London Mathematical Society, tab sis tau nto moo feem ntau rau nws txoj haujlwm hauv kev xav.
Nws muaj ntau cov ntaub ntawv tshawb fawb. Ntawm lawv yog cov hauj lwm ntawm lub ntsiab lus ntawm propositional logic thiab logic ntawm cov chav kawm. Thiab tseem, ntawm chav kawm, lub formulation ntawm lub ntiaj teb no-nto moo De Morgan mis nyuj, muaj npe tom qab nws. Ntxiv rau qhov no, Lub Yim Hli de Morgan tau sau ntau cov ntawv thiab phau ntawv, suav nrog "Logic tsis muaj dab tsi", uas, hmoov tsis, tsis tau muab txhais ua lus Lavxias.
Lub ntsiab lus ntawm kev tshawb fawb txog kev xav
Thaum pib, koj yuav tsum nkag siab tias cov qauv tsim qauv tsim thiab tsim raws li lawv li cas. Tsuas yog tom qab ntawd ib tus tuaj yeem mus rau txoj kev kawm ntawm ib qho ntawm cov npe nrov tshaj plaws. Hauv cov qauv yooj yim tshaj plaws, muaj ob qhov sib txawv, thiab nruab nrab ntawm lawv muaj pes tsawg tus cim. Tsis zoo li dab tsi paub thiab paub txog tus neeg nruab nrab hauv kev ua lej thiab lub cev muaj teeb meem, hauv cov laj thawj, cov kev hloov pauv feem ntau muaj ib tsab ntawv, tsis yog tus lej tsim thiab sawv cev rau qee yam xwm txheej. Piv txwv li, qhov hloov pauv "a" tuaj yeem txhais tau tias "thunderstorms tag kis" lossis "tus ntxhais hais lus dag", thaum qhov hloov pauv "b" yuav txhais tau tias "nws yuav tshav ntuj tag kis" lossis "tus txiv leej tub hais qhov tseeb".
Ib qho piv txwv yog ib qho ntawm cov qauv yooj yim tshaj plaws. Variable "a" txhais tias "tus ntxhais hais lus dag", thiab hloov pauv "b" txhais tau tias "tus txiv neej hais qhov tseeb".
Thiab ntawm no yog tus qauv nws tus kheej: a=b. txhais tau hais tias tus ntxhais hais lus dag yog tantamount rau tus txiv leej tub hais qhov tseeb. Hais tau tias nws tsuas yog hais dag xwb yog nws qhia qhov tseeb.
Lub ntsiab lus ntawm De Morgan cov qauv
Nws yog qhov tseeb tiag tiag. Cov mis rau De Morgan txoj cai yog sau li no:
Tsis (a thiab b)=(tsis yog) lossis (tsis b)
Yog peb txhais cov qauv no ua cov lus, ces qhov tsis muaj "a" thiab "b" txhais tau tias tsis muaj "a" lossis tsis muaj "b". Yog ibhais lus yooj yim, yog tias ob "a" thiab "b" tsis nyob, ces "a" tsis nyob lossis "b" tsis tuaj.
Tus qauv thib ob zoo li txawv me ntsis, txawm hais tias lub ntsiab lus tseem zoo ib yam.
(tsis yog) lossis (tsis yog b)=Tsis yog (a thiab b)
Kev tsis sib haum xeeb yog sib npaug ntawm kev tsis sib haum xeeb.
Kev sib txuas yog kev ua haujlwm uas nyob rau hauv qhov kev xav tau cuam tshuam nrog lub koomhaum "thiab".
Kev tsis sib haum yog kev ua haujlwm uas nyob rau hauv qhov kev xav tau cuam tshuam nrog lub koomhaum "lossis". Piv txwv li, "ib qho, lossis ob, lossis ob qho tib si ib zaug."
Simple life example
Ib qho piv txwv ntawm qhov xwm txheej no: koj tsis tuaj yeem hais tias kev kawm lej yog qhov tsis muaj ntsiab lus thiab ruam nkaus xwb yog tias kev kawm lej tsis muaj ntsiab lus lossis ruam.
Lwm qhov piv txwv yog cov lus hauv qab no: koj tsis tuaj yeem hais tias tag kis nws yuav sov thiab tshav ntuj tsuas yog tag kis nws yuav tsis sov lossis tag kis yuav tsis tshav ntuj.
Koj tsis tuaj yeem hais tias tus menyuam kawm ntawv paub physics thiab chemistry yog nws tsis paub physics lossis tsis paub chemistry.
Koj hais tsis tau tus txiv neej hais qhov tseeb thiab tus poj niam hais lus dag xwb yog tus txiv neej tsis qhia qhov tseeb los yog tus poj niam tsis hais lus dag.
Vim li cas thiaj yuav tsum nrhiav pov thawj thiab tsim txoj cai?
De Morgan cov qauv hauv kev xav tau qhib lub sijhawm tshiab. Cov kev xaiv tshiab rau kev xam cov teeb meem kev xav tau dhau los ua tau.
Yog tsis muaj De Morgan tus qauv, nws twb dhau los ua tsis tau nyob rau hauv xws li kev tshawb fawb xws li physics lossis chemistry. Kuj tseem muaj ib hom kev siv tshuab tshwj xeeb hauv kev ua haujlwm nrog hluav taws xob. Kuj muaj qee kis cov kws tshawb fawb siv de Morgan txoj cai. Thiab hauv kev tshawb fawb hauv computer, de Morgan cov qauv tswj hwm lawv lub luag haujlwm tseem ceeb. Thaj chaw ntawm kev ua lej, uas yog lub luag haujlwm rau kev sib raug zoo nrog cov kev tshawb fawb txog kev xav thiab kev xav, kuj yuav luag tag nrho raws li cov cai no.
Thiab kawg
Yog tsis muaj laj thawj, nws tsis tuaj yeem xav txog tib neeg lub neej. Feem ntau ntawm cov kev tshawb fawb niaj hnub no yog ua raws li nws. Thiab De Morgan cov qauv yog indisputably ib feem ntawm logic.
