Propositional loidsig

Airson mìneachadh a 'bhriathair "propositional loidsig", tha e riatanach a bhith a' tuigsinn gu soilleir dè tha "aithris".

Mar sin, tha an aithris a seantans, Òrdaichte gràmar ceart, agus tha e ceàrr no fìor. Tha am beachd seo a chur an cèill, feumaidh àraidh ciall. Mar eisimpleir, tha an abairt "canary eun a tha a" gabhail a-steach na leanas phàirtean: "canary" agus "an t-eun."

'S e sin carson a tha aon de na prìomh bhun-bheachdan de chiad loidsig agus tha iad ag ràdh. Feumaidh iad sin na bun-bheachdan a 'toirt cunntas sònraichte a suidheachadh anns a bheil an aithris a tha an dàrna cuid rudeigin no àicheadh.

Thathar a 'beachdachadh air a bhith fìor aithris, ma tha an loidhne a' dol da-rìribh an t-suidheachadh nuair a tha e circumscribing. Le fhèin, "meallta" agus "fìor" co-dhùnadh an fhìrinn an-aithrisean.

Propositional loidsig a dhèanamh suas de abairtean sìmplidh agus iom-fhillte. Mar sin, dìreach a 'smaoineachadh an aithris nach eil a' gabhail a-steach mar a rinneadh ann an abairtean eile. Agus gus a 'gabhail a-steach abairtean ioma-fhillte a tha a' tighinn bho sìmplidh, loidsigeach-aithrisean co-cheangailte.

Classical propositional loidsig Faodar riochdachadh le coitcheann teòiridh lùghdachaidhean. Tha e a 'phàirt de loidsig, a tha ag innse nach eil an crochadh air na h-aithrisean a chur an co-cheangal de abairtean sìmplidh.

Gun iomradh a thoirt cruthachail - doirbh a mholadh fhaighinn le bhith dà abairtean sìmplidh a bhith a 'cleachdadh an fhacail "agus". Tha an fhìrinn a 'co-bhuinn dearbhadh gu bheil a h-uile h-aithrisean a-steach anns na structar. Ann an suidheachadh far a bheil co-dhiù aon de na buill aca meallta, fad an co-bhuinn S e sgeul "breug."

Fhèin 'S e an co-bhuinn ri iom-fhillte a chruthachadh aithrisean, a tha stèidhichte air na barailean:

- sam bith a chur an cèill (agus sìmplidh agus iom-fhillte) Faodaidh ea bhith ceart no ceàrr;

- an fhìrinn an iom-fhillte utterances an crochadh air an fhìrinn air na h-aithrisean a tha ann, agus an loidsigeach ceangalan e.

Nuair a bhios a 'ceangal dà abairt a' cleachdadh an fhacail "no" mar-thà fhaighinn an disjunction. Anns a 'bheatha làitheil, bhun-bheachd seo chithear bho shealladh an dà chiall. An toiseach, tha e neo-thoirmeasgach mothachadh, a tha a 'ciallachadh an fhìrinn a labhairt, a dh'aindeoin an abairt fìor aon de na dhà no a bheil iad an fheadhainn de na dhà. Dàrna, cur às an ciall ag ràdh gu bheil aon de na abairtean a tha fìor, agus eile - tha e meallta.

Propositional foirmlean anns sònraichte caractaran. Mar so, ann an disjunction samhla V a 'sealltainn gu bheil an abairt a tha fìor ma tha an fhìrinn de co-dhiù aon de na h-aithrisean, agus meallta ma tha an dà chuid i meallta Bod.

Ann an co-dhùnadh na buaidh a tha ag ràdh gun robh an t-ionad-aithrisean nach urrainn a bhith fìor aig a 'rannsachadh ceàrr. Ann am briathran eile, tha seo a 'bhun-bheachd a' ciallachadh eisimeileachd falsity fhìrinn no an cur an cèill luach de na pàirtean agus dhòighean-obrach aca chàirdean.

A dh'aindeoin 's gu bheil a' buaidh a tha gu math feumail airson cuid adhbharan, chan eil e fìor co-chòrdail ri gnàthach tuigse conaltraidh san fharsaingeachd. Mar sin, nuair a tha e a 'cuartachadh an inneal mòran de na feartan cudromach de na loidsigeach giùlan na h-aithrisean a thoirt seachad bun-bheachd gur dòcha nach bi gu leòr tuairisgeul air e.

Propositional loidsig ag amas air fuasgladh a leithid sin a 'mheadhan a dhèanamh, mar an dealachadh ceart agus ceàrr chuairtean agus reusanachadh systematization toiseach. Airson a dhol air an làimh dheis thoradh air an sin, feumaidh tu a 'cuimseachadh air caractaran sònraichte a dh'fhaodas a' riochdachadh aon no riochd eile. Uime sin, ùidh ann a leithid cho cudromach faclan leithid "no", "agus," etc.

Logic aithrisean eadhon Tha a cànan fhèin, le eileamaidean a leanas:

- thùsail caractaran - caochladairean, loidsigeach cunbhalachdan, agus teicnigeach samhlaidhean;

- foirmlean.

Airson tuigse nas fheàrr air dè a tha air na chaidh a ràdh feumaidh tu dol eisimpleirean sònraichte. Mar eisimpleir, an co-bhonn a 'cleachdadh an samhla &, disjunction - \ / no \ º /.