Nws yuav siv li cas rau kev sib cais kom muaj tseeb?
Nws yuav siv li cas rau kev sib cais kom muaj tseeb?

Video: Nws yuav siv li cas rau kev sib cais kom muaj tseeb?

Video: Nws yuav siv li cas rau kev sib cais kom muaj tseeb?
Video: Zoo Phem Los Yog Niam Txiv - Koos Loos 2024, Tej zaum
Anonim

Nrog kev sib txuas, ob nqe lus yuav tsum yog muaj tseeb rau kev sib koom ua ke muaj tseeb ; mas a kev tsis sib haum xeeb , ob nqe lus yuav tsum yog cuav rau cov kev tsis sib haum xeeb ua cuav. A kev tsis sib haum xeeb yog cuav yog thiab tsuas yog ob nqe lus yog cuav; txwv tsis pub nws yog muaj tseeb.

Piv txwv li, kev sib cais thiab kev sib txuas yog dab tsi?

Cov lus hais yog ib kab lus uas tuaj yeem sau tias yog qhov tseeb lossis tsis tseeb. Thaum ob nqe lus sib xyaw nrog 'thiab,' koj muaj a kev sib txuas . Rau kev sib txuas , ob nqe lus yuav tsum muaj tseeb rau cov lus sib xyaw kom muaj tseeb. Thaum koj ob nqe lus raug muab ua ke nrog 'los yog,' koj muaj a kev tsis sib haum xeeb.

Ib yam li ntawd, Pvq txhais li cas? v:ua txhais tau tias "los yog." Cov kab lus ( pvq ua ) muaj tseeb yog thiab tsuas yog p yog qhov tseeb, lossis q yog qhov tseeb, lossis (p^q) yog qhov tseeb. ->: Qhov no txhais tau tias "Implies." Cov kab lus (p->q) yog qhov tseeb yog tias p yog cuav lossis q yog qhov tseeb ((~p)vq) yog qhov tseeb).

Kuj paub yog, txoj cai rau kev tsis sib haum xeeb yog dab tsi?

Cov txoj cai ntawm disjunctive syllogism thiab ntxiv tawm ncaj qha los ntawm qhov tseeb tias thaum ob kab lus txuas nrog a DIJUNCTION , dab tsi yog asserted yog tias tsawg kawg yog ib qho ntawm cov disjuncts muaj tseeb. Yog li ntawd, yog peb paub hais tias ib qho ntawm cov disjuncts yog cuav, peb kuj paub tias lwm yam kev tsis sib haum xeeb yuav tsum muaj tseeb.

Dab tsi yog qhov tseeb ua haujlwm sib cav?

Txheej txheem cej luam. Lub logic txuas yog qhov tseeb - ua haujlwm yog tias qhov tseeb -tus nqi ntawm cov kab lus sib txuas yog a muaj nuj nqi ntawm qhov tseeb -tus nqi ntawm nws cov kab lus. Ib chav kawm ntawm kev sib txuas yog qhov tseeb - ua haujlwm yog tias txhua tus ntawm nws cov tswv cuab. Lawv tus nqi rau ntau yam qhov tseeb -tus nqi as kev sib cav feem ntau yog muab los ntawm qhov tseeb rooj.

Pom zoo: