Propositional dabaru

Don ayyana Kalmar "propositional dabaru", shi wajibi ne don fahimta a fili abin da yake a "magana".

Saboda haka, da sanarwa ne a jumla, ranked ilimin nahawu daidai, kuma shi ne ƙarya, ko kuma gaskiya ne. Wannan mas'ala dole ne bayyana a wasu ma'anar. Alal misali, kalmar "Canary tsuntsu yana da" ya hada da wadannan aka gyara: "Canary" da kuma "tsuntsu".

Wannan shi ne dalilin da ya sa daya daga cikin key na farko Concepts dabaru da suke cewa. Wadannan matsalolin dole ne bayyana takamaiman halin da ake ciki a cikin abin da sanarwa ne ko dai wani abu ko musu.

An dauke su zama gaskiya sanarwa, idan gano line hakikanin halin da ake ciki idan aka circumscribing. By kansu, "ƙarya" da "gaskiya" ƙayyade da gaskiya daga cikin maganganun.

Propositional dabaru kunshi sauki da kuma hadadden maganganu. Saboda haka, kawai zaton da sanarwa cewa, ba ya hada a abun da ke ciki da sauran maganganu. Kuma zuwa ga hadaddun hada da maganganu da ake samu daga mai sauki, Azancin alaka kalamai.

Gargajiya propositional dabaru za a iya wakilta janar ka'idar cire. Shi ne cewa bangare na dabaru, abin da ya bayyana ba ya dogara ne a kan kalamai na ma'ana dangane da sauki maganganu.

Ba a ma maganar conjunctions - mai wuya shawara samu ta hanyar hada biyu sauki maganganu amfani da kalmar "da kuma". A gaskiya na tare da tabbatar da cewa duk maganganun kunshe a tsarinta. A cikin akwati inda a kalla daya daga cikin mambobi a ƙarya, dukan tare da wata ãyã daga "ƙarya."

Kanta ne tare da samar da hadaddun kalamai, wadda ake bisa wadannan zaton:

- wani magana (da sauki da kuma hadadden) na iya zama ko dai gaskiya ko karya.

- gaskiya daga cikin hadaddun furtawa dogara a kan gaskiya daga cikin maganganun kunshe ne a cikin shi da ma'ana links a cikinsa.

Lokacin da za a haɗa biyu kalamai amfani da kalmar "ko" An riga an samu disjunction. A rayuwar yau da kullum, wannan ra'ayi za a iya kyan gani ta fuskar ma'ana biyu dabam dabam. Na farko, shi ne wanda ba kežantacce ji, wanda yake nufin gaskiya na magana, ko na gaskiya magana da daya daga cikin biyu ko su waɗanda na biyu. Na biyu, kawar da hankali shelanta cewa daya daga cikin maganganu gaskiya ne, da kuma sauran - shi ne ƙarya.

Propositional dabarbari dauke da haruffa na musamman. Saboda haka, a cikin disjunction alama ce V nuna cewa magana gaskiya ne idan da gaskiya da a kalla daya daga cikin maganganun, kuma ƙarya idan duka biyu ta arya azzakari.

A kayyade abinda akwai cewar da tushe kalamai ba zai iya zama gaskiya a daidai gudanar da bincike. A wasu kalmomin, wannan ra'ayi yakan haifar da dogaro gaskiya ko falsity na magana da darajar da aka gyara da kuma hanyoyin da su tsakaninsu.

Duk da cewa abinda yake quite da amfani ga wasu dalilai, shi ne ba sosai daidai da na al'ada fahimtar sadarwa a general. Saboda haka, a lokacin da shi na kewaye da na'urar da yawa daga cikin muhimman siffofin da ma'ana hali daga cikin maganganun da aka ba ra'ayi bazai wani isasshen bayanin shi.

Propositional dabaru da nufin warware irin wannan tsakiyar aiki, kamar yadda rabuwar daidai da ba daidai ba haihuwarka tattaunawa da kuma amfaninsa a farko. Don samun dama sakamakon, kana bukatar ka mayar da hankali a kan musamman haruffa cewa zai iya wakiltar daya ko wani nau'i. Saboda haka nuna sha'awarta a wannan alama bai isa a kula da kalmomi kamar su "ko", "da kuma," da dai sauransu

Dabaru kalamai ko da yana da harshe, wanda ya kunshi wadannan abubuwa:

- asali haruffa - canji, ma'ana constants, da kuma fasaha alamomin.

- dabarbari.

Domin mafi fahimtar abin da aka ce dole ne ka je takamaiman misalai. Alal misali, tare da amfani da alama &, disjunction - \ / ko \ º /.