Koj puas tau pom tias ntau npaum li cas koj hais lus, koj puas tau hais lus nrov lossis koj tus kheej? Nws tsis yog tshem tawm hais tias ib zaug kaum ib hnub ib zaug. Tab sis koj puas tau nug koj tus kheej: "Dab tsi yog qhov kev pom zoo?", Tab sis, nws yog qhov nyuaj, yooj yim thiab muaj cov kev sib txuas ntawm cov teeb meem.
Yooj yim thiab txoj kev txiav txim
Logic tsom xam nws cov kev tshawb fawb ntawm cov kev xav ntawm tus tib neeg xav paub txog yam khoom, kev kawm, kev sib raug zoo nrog lwm yam zoo sib xws, lawv lub zog, thiab lwm yam. Yog li no, kev tshawb fawb txog kev ntseeg no yog tshuaj xyuas cov lus txiav txim uas raug cais:
- Yooj yim, nrog rau cov ntsiab lus.
- Ua kom tiav, muaj cov kev txiav txim siab yooj yim saum toj no.
Hom kev txiav txim siab
Txoj kev txiav txim siab yog tsim nyob rau hauv logic los ntawm kev sib txuas ntawm cov yooj yim. Ib feem ntawm nws yog denoted los ntawm cov tsiaj ntawv Latin (A, B, C, D, thiab lwm yam). Nyob ntawm txoj kev los tsim txoj kev txiav txim, nws tshwm sim:
- conjunctive;
- cais;
- implicative (cai);
- sib npaug;
- tsis zoo.
Conjunctive conjunctions (cov kev sib txuas ntawm cov kev sib txuas ua haujlwm hauv lub koomhaum koomhaum: "uas yog", "thiab" "," tab sis "tab sis", "tab sis," "yog," etc.). Ntsuas ob lossis ntau qhov. Piv txwv li, "Qee lub sij hawm kev txhawb siab ntawm kev nqis tes ua yog tsis muaj tseeb rau lwm tus neeg, tab sis rau tus neeg nws tus kheej."
Cov kev txiav txim cais yog sib txuas los ntawm "lossis" thiab muab faib ua cov nram qab no:
- Txiav txim (kev txiav txim ib leeg cais ib leeg, uas yog, "lossis" union siv los ua ib feem ntawm ob seem);
- Tsis nruj heev (lub union koom siab thiab sib tw yooj yim kev txiav txim siab).
Ib qho piv txwv ntawm qhov kev tawm tsam divisive tej zaum yuav yog cov kab lus nram no: "Ib qho yeeb yam yog los yog ua tib zoo xav los yog erroneous."
Cov koomhaum pab neeg "yog ... ces" yog qhov kev txiav txim plaub ntug. Lawv muaj ob qho lus yooj yim.
Sib npaug sib npaug sib luag ntawm cov kev txiav txim siab tsis sib luag. Lub koom haum muaj npe yog "txaus", "yog tias tsuas", lwm yam. Piv Txwv: "Yuav kom ua tau raws li txoj kev npaj, nws txaus txaus los pib ua kom pom qhov kev tsis txaus siab ntawm txoj kev xav tau." Raws li lub npe ntawm hom kev tawm tsam hais li no, lub koomhaum ua haujlwm tsis zoo yog "tsis muaj": "Koj tsis tas yuav rau txim rau tus neeg tsis muaj txhua yam rau koj tus kheej."
Nws yog ib qho tseem ceeb uas yuav tsum nco ntsoov tias qhov tseeb ntawm kev txiav txim siab yog nyob ntawm qhov uas lawv cov tswv yim yooj yim yog qhov tseeb thiab qhov kev sib koom ua ke rau lawv.