Propositional pfungwa

Chidzore rokuti "propositional zvisingarambiki", zvinokosha kunzwisisa zvakajeka chii chinonzi "mashoko".

Saka, mashoko ari mutongo, rakava nemitemo yomutauro, uye nhema kana zvechokwadi. Pfungwa iyi inofanira kutaura imwe nechinangwa. Somuenzaniso, mashoko okuti "shiri Canary ane" unosanganisira zvinotevera zvinoriumba: "Canary" uye "shiri".

Ndokusaka mumwe kiyi kutanga pfungwa nomufungo uye vachiti. Izvi pfungwa vanofanira kutsanangura mumamiriro ezvinhu umo mashoko iri kana chinhu kana kuramba.

Zvinonzi kuonekwa chitaurwa wechokwadi, kana kurondwa mutsetse yomugariro wacho painenge circumscribing. By pachavo, "venhema" uye "wechokwadi" kuona chokwadi mashoko.

Propositional pfungwa ine nyore uye kunzwisisa mashoko. Saka, imbofunga okuti haibatanidzi ayo sezvamunoita mamwe mashoko. Uye kuti zvakaoma zvinosanganisira mashoko zvinobviswa nyore, zvine musoro kubata mashoko.

Classical propositional pfungwa inogona anomiririrwa mukuru dzidziso yaanobhadhara. Zviri kuti chikamu kufunga, izvo ichirondedzera haana kuvimba Mitsara akanyatsorongwa maererano nyore mashoko.

Tisingatauri conjunctions - a pfungwa zvakaoma yaunganidzwa tichibatanidza maviri mashoko nyore kushandisa shoko "uye". Chokwadi pachiimbwa zvinosimbisa kuti mashoko ose zvaisanganisira wayo chivako. Kana apo dzinenge imwe nhengo yayo renhema, rose pachiimbwa chiratidzo "nhema."

Pachahwo tikafunga kuumba mashoko akaoma, izvo kwakavakirwa zvekungofungira izvi:

- chero mashoko (uye nyore uye kunzwisisa) anogona kunge chokwadi kana nhema;

- chokwadi kunzwisisa kutaura zvinobva chokwadi mashoko ririmo uye musoro Links mairi.

Kana unobatanidza mashoko maviri kushandisa shoko "kana" iri nechekare ndawana disjunction. Muupenyu hwezuva nezuva, pfungwa iyi inogona kuonekwa nemaonero zvinorehwa zviviri zvakasiyana. Chokutanga, hazvina non-oga pfungwa, izvo zvinoreva chokwadi rwekutaura, zvisinei wechokwadi kuratidza mumwe maviri kana vari avo vaviri. Chechipiri, kubvisa pfungwa Inoti kuti rimwe mashoko ichokwadi, uye nezvimwe - ndeyenhema.

Propositional Masvomhu ane chaiwo vatambi. Saka, muna disjunction chiratidzo V inoratidza kuti mashoko ichokwadi kana chokwadi kupfuura mumwe mashoko, uye nhema kana vaviri mboro yake venhema.

Pakusarudza kunanga pane kutaura kuti pechingoro mashoko haagoni kuva kwechokwadi isiri kuongorora. Nemamwe mashoko, pfungwa iyi inoreva nedoro chokwadi kana falsity kutaura kukosha yenhengo dzayo uye nzira ukama hwavo.

Pasinei nokuti zvinoreva zvikuru kubatsira vamwe zvinangwa, hazvina chaizvo kunoenderana kwakajairika kunzwisisa kutaurirana zvavo. Saka, kana runopoteredza mudziyo zvakawanda zvinokosha zviri musoro unhu mashoko akapiwa pfungwa angasava tsanangudzo nayo zvakakwana.

Propositional pfungwa dzakanangana nekugadzirisa munhu nechepakati basa rakadai, sezvo kuparadzana akarurama uye kururama matunhu pfungwa uye systematization kutanga. Kuti tiwane kodzero mugumisiro, unofanira kutarisa anokosha vatambi kuti anogona kumirira chimwe chimiro. Nokudaro akaratidza kufarira mashoko inoita vasingakoshi akadai akadai "kana", "uye," etc.

Musoro Mashoko kunyange ane mutauro wayo, zvinosanganisira zvinotevera zvinhu:

- vatambi yepakutanga - variables, musoro constants, uye michina zviratidzo;

- Masvomhu.

Nokuti kunzwisisa zvave nani uende mienzaniso yakananga. Somuenzaniso, tikafunga kushandisa chiratidzo &, disjunction - \ / kana \ º /.