Propositional tlhalohanyo

Ho hlalosa poleloana e reng "propositional mabaka", ho ke ke ho hlokahala hore ba utloisise ka ho hlaka seo ke "Polelo".

Ho joalo, mantsoe ana a ke polelo, Ranked thutapuo nepahetse, 'me ke ba bohata kapa ba' nete. Khopolo ena lokela ho bontša hore le moelelo o itseng. Ka mohlala, poleloana e reng "Canary nonyana e na le" le akarelletsa metsoako e latelang: "Canary" le "nonyana".

Ke ka lebaka leo e mong oa bopa dikgopolo tsa senotlolo ea pele ea mabaka le se buang. bopa dikgopolo tsa tsena lokela hlalosa boemo bo itseng ka ho eo mantsoe ana a ke ka ntho e 'ngoe kapa ho hana.

Ho e nkoa e le polelo e le 'nete, haeba amahanngoa mola nete boemo ha e circumscribing. Ba le bang, "bohata" le " 'nete" fumana' nete ea lipolelo.

Propositional tlhalohanyo e na le lipolelo tse bonolo le tse rarahaneng. Ho joalo, feela nahana hore polelo eo e sa kenyeletse ka sebopeho lona lipoleloana tse ling. Le ho e rarahaneng le kenyeletsa le lipolelo tseo li nkiloeng ho e, lipolelo tse e bonolo ka tsela e utloahalang e amana.

Classic propositional mabaka ka emeloa ke khopolo e akaretsang ea theolelo. Ke karolong eo ea mabaka a, e leng hlalosa a sa itšetleha ka lipolelo tsa mabapi utloahalang ea lipolelo tse bonolo.

A se ke a letho ka makopanyi - ka thata tshitshintsweng fumanoa ka kopantseng lipoleloana tse peli tse bonolo ho sebelisa lentsoe " 'me". 'Nete ea kopanelo e tiisa hore lipolelo tse tsohle kenyelelitsoe sebopeho lona. Tabeng ea moo bonyane e mong oa litho tsa eona e le ba bohata, kopanelo kaofela ke pontšo ea "leshano."

Ka bobona ke kopanelo ya ho theha lipolelo tse rarahaneng, e leng se li thehiloe likhopolong tsena:

- ho hlahisa maikutlo leha e le efe (le le bonolo le le rarahaneng) e ka ba ka 'nete kapa bohata;

- 'nete ea lipolelo tse rarahaneng e itšetlehile ka' nete ea lipolelo tse e le maqhama utloahalang ka eona.

Ha o tlohang lipolelo tse pedi o sebedisa lentsoe "kapa" e se e ile a fumana ea disjunction. Bophelong ba letsatsi le letsatsi, khopolo ena ka talingoa tloha pono ea bolela lintho tse peli tse fapaneng. Pele, ho ke ke ka kutloisiso bao e seng bo khethehileng, e leng se bolelang ke 'nete ba ho hlahisa maikutlo, ho sa tsotellehe mantsoe a reng' nete ba e mong oa ba babeli kapa ba ba bao e leng ba ho ba babeli. Ea bobeli, felisa kutloisiso ea tiisa hore e mong oa lipoleloana le ke 'nete,' me e mong - ke ba bohata.

mekhoa Propositional na le litlhaku khethehileng. Kahoo, ka letšoao disjunction V e bontša hore poleloana e reng ke 'nete ha' nete ea bonyane e mong oa lipolelo, le ba bohata haeba ka bobeli hae botoneng ba bohata.

Ka beha boleloang ho na le polelo e reng lipolelo botlaaseng e ke ke ea 'nete ka dipatlisiso fosahetseng. Ka mantsoe a mang, khopolo ena e fana ka maikutlo ho itšetleha 'nete kapa falsity tsa pontšo ea boleng ba metsoako e le mekhoa ea likamano tsa bona.

Ho sa tsotellehe 'nete ea hore seo li se buang ke le thuso haholo bakeng sa merero e itseng, ho ke ke ha ka tsela e lumellanang haholo le kutloisiso ea tloaelehileng oa puisano ka kakaretso. Kahoo, ha e potolohileng sesebediswa ngata likarolo tsa bohlokoa tsa boitšoaro tse utloahalang le ea lipolelo tse fanoeng ya kgopolo ya a ke ke a ba le tlhaloso e lekaneng ea eona.

Propositional mabaka ikemiseditse ho rarolla jwalo mosebetsi o bohareng, e le karohano ya nepahetseng le ho fosahetseng lipotoloho ho beha mabaka le ho systematization pele. Ho fumana sephetho le letona, u lokela ho nahana ka lintho tse litlhaku khethehileng hore li ka emela 'ngoe kapa mofuta o mong. Kahoo o ile a bontša thahasello ea mantsoe a joalo ho bonahala eka bohlokoa hakaalo tse kang "kapa", " 'me," joalo-joalo

Sea utloahala kapa che lipolelo tse esita le nang le puo ea sona, e bopilweng ka likarolo tse latelang:

- ea pele litlhaku - divariabole, utloahalang lulang li le disymbol botekgeniki;

- mekhoa.

Bakeng sa kutloisiso e batsi ea seo e se o ile a re o lokela ho ea mehlala e itseng. Ka mohlala, kopanelo sebelisa letšoao &, disjunction - \ / kapa \ º /.