Kev txiav txim yog ib hom kev xav uas lees paub lossis tsis lees paub qee yam txog kev muaj nyob ntawm cov khoom, hais txog kev sib txuas ntawm lawv thiab lawv cov khoom, nrog rau kev sib raug zoo ntawm cov khoom.
Piv txwv ntawm kev txiav txim: "Volga ntws mus rau hauv Hiav Txwv Caspian", "A. S. Pushkin sau paj huam "Bronze Horseman", "Tus Ussuri Tiger yog teev nyob rau hauv Phau Ntawv Liab", thiab lwm yam.
qauv ntawm kev txiav txim
Kev txiav txim suav nrog cov ntsiab lus hauv qab no: cov ntsiab lus, kwv yees, sib txuas thiab quantifier.
- Subject (lat. subjektum - "underlying") - dab tsi yog hais hauv qhov kev txiav txim no, nws cov ntsiab lus ("S").
- Predicate (lat. praedicatum - "hais") - ib qho kev xav ntawm tus cwj pwm ntawm cov ntsiab lus, yam uas hais txog qhov kev txiav txim ("P").
- Txuas yog kev sib raug zoo ntawm ib qho kev kawm ("S") thiab tus kwv yees ("P"). Txiav txim siab qhov muaj / tsis muaj qhov kev kawm ntawm ib qho khoom ntiag tug uas tau hais hauv qhov ua ntej. Nws tuaj yeem yog ob qho tib si txhais tau thiab qhia los ntawm cov cim kos lossis cov lus "yog" ("tsis yog"), "muaj", "yog", "qhov tseem ceeb", thiab lwm yam.
- Quantifier (lo lus quantifier) txiav txim siab txog lub tswvyim uas qhov kev txiav txim yog. Sawv nyob rau hauv pem hauv ntej ntawm qhov kev kawm, tab sis kuj yuav tsis nyob rau hauvkev txiav txim. Qhia los ntawm cov lus xws li "tag nrho", "ntau", "qee", "tsis muaj", "tsis muaj", thiab lwm yam.
Kev Txiav Txim Tseeb thiab Tsis Ncaj
Kev txiav txim siab muaj tseeb thaum muaj cov cim qhia, cov khoom thiab kev sib raug zoo ntawm cov khoom, lees paub / tsis lees paub hauv qhov kev txiav txim, sib haum rau qhov tseeb. Piv txwv li: "Txhua tus nquab yog noog", "9 yog ntau tshaj 2", thiab lwm yam.
Yog cov lus uas muaj nyob rau hauv qhov kev txiav txim tsis muaj tseeb, peb tab tom hais txog qhov kev txiav txim cuav: "Lub hnub tig rov qab lub ntiaj teb", "Ib kilogram ntawm hlau hnyav dua li ib kilogram ntawm paj rwb", thiab lwm yam. Cov kev txiav txim kom raug yog lub hauv paus ntawm cov lus xaus kom raug.
Txawm li cas los xij, ntxiv rau ob qhov laj thawj muaj txiaj ntsig, qhov kev txiav txim siab tuaj yeem yog qhov tseeb lossis cuav, kuj tseem muaj ntau qhov laj thawj. Raws li nws cov ntsiab lus, qhov kev txiav txim kuj tuaj yeem ua tsis tiav. Qhov no yog qhov tseeb tshwj xeeb tshaj yog rau yav tom ntej ib qho kev txiav txim: "Tag kis yuav muaj / yuav tsis muaj kev sib ntaus sib tua naval" (Aristotle, "Ntawm Kev Txhais"). Yog tias peb xav tias qhov no yog qhov kev txiav txim tiag, ces kev sib ntaus sib tua hauv nkoj tsis tuaj yeem ua tiav tag kis. Yog li ntawd, nws yuav tsum tshwm sim. Los yog vice versa: los ntawm kev lees paub tias qhov kev txiav txim siab tam sim no tsis muaj tseeb, peb ua li no tsim nyog rau qhov tsis tuaj yeem ntawm tag kis kev sib ntaus sib tua naval.
Kev txiav txim los ntawm hom nqe lus
Raws li koj paub, raws li hom lus, muaj peb hom kab lus: piav qhia, kev txhawb zog thiab kev nug. Piv txwv li, kab lus "Kuv nco txog lub sijhawm zoo" hais txogmus rau hom lus. Nws yog tsim nyog los qhia tias qhov kev txiav txim zoo li no kuj yog piav qhia. Nws muaj qee cov ntaub ntawv, qhia txog qhov xwm txheej.
Thiab, kab lus nug muaj lus nug uas txhais tau tias cov lus teb: "Hnub tom ntej no npaj dabtsi rau kuv?" Nws tsis hais thiab tsis lees paub dab tsi. Yog li ntawd, qhov kev lees paub tias qhov kev txiav txim zoo li no yog kev nug yog yuam kev. Ib kab lus nug, hauv paus ntsiab lus, tsis muaj kev txiav txim, vim cov lus nug tsis tuaj yeem sib txawv raws li lub hauv paus ntsiab lus ntawm qhov tseeb / cuav.
Hom kab lus txhawb siab yog tsim thaum muaj qee yam kev xav ua, thov lossis txwv: "Tsaug, tus yaj saub, thiab pom, thiab mloog." Raws li kev txiav txim, raws li qee cov kws tshawb fawb, lawv tsis muaj nyob hauv kab lus ntawm hom no. Lwm tus ntseeg tias peb tab tom tham txog hom kev txiav txim siab.
Kev txiav txim zoo
Los ntawm qhov pom ntawm qhov zoo, kev txiav txim tuaj yeem lees paub (S yog P) lossis tsis zoo (S tsis yog P). Nyob rau hauv cov ntaub ntawv ntawm ib qho kev pom zoo, ib yam khoom (s) yog txuas nrog rau qhov kev kawm nrog kev pab los ntawm ib tug predicate. Piv txwv li: "Leonardo da Vinci yog tus kws kos duab Italian, kws kos duab, sculptor, kws tshawb fawb, naturalist, nrog rau tus neeg tsim khoom thiab kws sau ntawv, tus sawv cev loj tshaj plaws ntawm Renaissance art."
Nyob rau hauv qhov kev xav tsis zoo, ntawm qhov tsis sib xws, cov cuab yeej raug rho tawm ntawm qhov kev kawm:kev sim paub tseeb."
Quantitative yam ntxwv
Kev txiav txim hauv logic tuaj yeem yog dav dav (xa mus rau txhua yam khoom ntawm ib chav kawm), ntiag tug (rau qee qhov ntawm lawv) thiab cov lus (thaum nws los txog rau ib yam khoom uas muaj nyob hauv ib daim qauv). Piv txwv li, nws tuaj yeem sib cav hais tias qhov kev txiav txim siab xws li "Tag nrho cov miv yog grey thaum hmo ntuj" yuav yog generic vim nws cuam tshuam rau txhua tus felines (qhov kev txiav txim siab). Lo lus "Qee tus nab tsis muaj tshuaj lom" yog ib qho piv txwv ntawm kev txiav txim siab ntiag tug. Nyob rau hauv lem, qhov kev txiav txim "Lub Dnieper yog zoo nyob rau hauv cov huab cua nyob ntsiag to" yog ib tug, txij li thaum peb tab tom tham txog ib tug tshwj xeeb dej uas muaj nyob rau hauv ib daim ntawv.
Kev txiav txim yooj yim thiab nyuaj
Nyob ntawm tus qauv, qhov kev txiav txim yuav yog hom yooj yim lossis nyuaj. Cov qauv ntawm cov lus pom yooj yim suav nrog ob lub ntsiab lus ntsig txog (S-P): "Ib phau ntawv yog qhov kev paub." Kuj tseem muaj kev txiav txim nrog ib lub tswv yim - thaum qhov thib ob tsuas yog txhais tau tias: "Darkness" (P).
Ib daim ntawv nyuaj yog tsim los ntawm kev sib txuas ob peb qhov lus yooj yim.
Kev faib cov kev txiav txim yooj yim
Kev txiav txim siab yooj yim hauv cov laj thawj tuaj yeem ua tau ntawm cov hauv qab no: attributive, kev txiav txim nrog kev sib raug zoo, existential, modal.
Attributive (kev txiav txim vaj tse) yog tsom rau kev lees paub / tsis lees paub tias ib qho khoom muaj qee yam khoom (tus cwj pwm), kev ua ub no. Cov kev txiav txim no muaj ib daim ntawv categorical thiab tsis raug nug: "Lub paj hlwb ntawm cov tsiaj muaj lub hlwb, tus txha caj qaum.lub hlwb thiab cov hlab ntsha tawm mus."
Cov kev txiav txim sib raug zoo txiav txim siab qee qhov kev sib raug zoo ntawm cov khoom. Lawv tuaj yeem muaj cov ntsiab lus spatio-temporal, causal, thiab lwm yam. Piv txwv li: "Ib tug phooj ywg qub zoo dua ob tus tshiab", "Hydrogen yog 22 npaug dua li carbon dioxide."
Kev txiav txim siab txog qhov muaj nyob yog ib nqe lus hais txog qhov muaj nyob / tsis muaj nyob ntawm ib qho khoom (ob qho tib si khoom thiab qhov zoo): "Tsis muaj ib tug yaj saub hauv nws lub teb chaws", "Lub hli yog satellite ntawm lub ntiaj teb."
Modal proposition is a form of statement that has a certain modal operator (tseem ceeb, zoo/phem; proven, know/unknown, forbidden, believe, etc.). Piv txwv li:
- "Nyob rau hauv Russia nws yog qhov tsim nyog los ua qhov kev hloov kho kev kawm" (alethic modality - qhov ua tau, xav tau ib yam dab tsi).
- "Txhua tus muaj cai rau kev ncaj ncees ntawm tus kheej" (deontic modality - kev coj ncaj ncees ntawm kev coj tus cwj pwm).
- "Kev tsis saib xyuas rau lub xeev cov cuab yeej ua rau nws poob" (axiological modality - tus cwj pwm rau cov khoom thiab cov txiaj ntsig ntawm sab ntsuj plig).
- "Peb ntseeg hauv koj qhov tsis muaj txim" (kev hloov pauv hloov pauv - qib kev ntseeg tau ntawm kev paub).
Kev txiav txim siab nyuaj thiab hom kev sib txuas lus zoo
Raws li twb tau sau tseg lawm, cov kev txiav txim nyuaj muaj ob peb yam yooj yim. Cov kev sib txuas ntawm cov laj thawj ntawm lawv yog cov kev dag xws li:
- Kev sib txuas (thiab ʌ b yog txuas cov lus pom zoo). Conjunct txiav txim muaj ib pawg ntawm "thiab":"Kev siv tib neeg thiab pej xeem txoj cai thiab kev ywj pheej yuav tsum tsis txhob ua txhaum txoj cai thiab kev ywj pheej ntawm lwm tus."
- Disjunction (a v b – disjunctive judgments). Cov kev txiav txim tsis sib haum yog siv los ua cov ntsiab lus, thiab lub koomhaum "lossis" yog siv los ua qhov txuas. Piv txwv li: "Tus neeg foob muaj cai nce lossis txo qhov loj ntawm qhov kev thov."
- Implication (a → b – kev txiav txim-qhov tshwm sim). Yog hais tias ib tug premise thiab lub txim tshwm sim txawv nyob rau hauv cov qauv ntawm ib tug complex kev txiav txim, ces nws muaj peev xwm cam hais tias xws li ib tug txiav txim belongs rau cov implicative sawv daws yuav. Raws li qhov txuas hauv daim ntawv no, cov koom haum xws li "yog … ces" yog siv. Piv txwv li: "Yog tias muaj hluav taws xob dhau los ntawm tus neeg xyuas pib, tus neeg xyuas pib yuav sov", "Yog tias koj xav tau kev zoo siab, ua nws."
- Sib npaug (a ≡ b - cov lus txiav txim zoo ib yam). Muaj tshwm sim thaum a thiab b yog tib yam (ob qho tib si yog qhov tseeb los yog ob qho tib si tsis tseeb): "Tus txiv neej raug tsim kom muaj kev zoo siab, zoo li tus noog raug tsim los."
- Negation (¬a, ā – judgment-inversion). Txhua nqe lus tseem ceeb yog txuam nrog cov lus sib xyaw uas tsis lees paub tus thawj. Nws yog nqa tawm nrog kev pab los ntawm ib pawg ntawm "tsis yog". Yog li ntawd, yog hais tias tus thawj nqe lus zoo li no: "Tus nyuj reacts rau lub teeb liab" (a) - ces qhov tsis lees yuav suab zoo li: "Tus nyuj tsis hnov mob rau lub teeb liab" (¬a).
