Logjika propositional

Përkufizimit të termit "logjikë propositional", është e nevojshme për të kuptuar qartë se çfarë është një "deklaratë".

Pra, deklarata është një dënim, renditet gramatikisht korrekte, dhe është e rreme apo e vërtetë. Ky nocion duhet të shprehin një kuptim të caktuar. Për shembull, shprehja "bird kanarinë ka një" përfshin komponentët e mëposhtëm: "kanarinë" dhe "zog".

Kjo është arsyeja pse një nga konceptet kryesore fillestare të logjikës dhe janë duke thënë. Këto koncepte duhet të përshkruajnë një situatë të veçantë në të cilën deklarata është ose diçka ose mohim.

Ajo është konsideruar të jetë një deklaratë e vërtetë, në qoftë se ndiqet linja realiteti i situatës kur ajo është circumscribing. Vetë, "false" dhe "e vërtetë" të përcaktuar të vërtetën e deklaratave.

Logjika Deklaruese përbëhet nga shprehjeve të thjeshta dhe komplekse. Pra, vetëm të mendojnë deklaratën që nuk përfshin në përbërjen e shprehje të tjera të saj. Dhe të kompleksit të përfshirë shprehjet që rrjedhin nga një të thjeshtë, deklaratat lidhur logjikisht.

Logjika klasike propositional mund të përfaqësohet nga teoria e përgjithshme e zbritjes. Ajo që është pjesë e logjikës, e cila nuk e përshkruan varet nga deklaratat e lidhjes logjike të shprehjeve të thjeshta.

Jo për të përmendur bashkime - një propozim i vështirë të marra nga kombinuar dy shprehje të thjeshta duke përdorur fjalën "dhe". E vërteta e lidhje konfirmojnë se të gjitha deklaratat e përfshirë në strukturën e tij. Në rastin ku të paktën një nga anëtarët e tij një të rreme, e tërë lidhëza është një shenjë e "një gënjeshtër."

Në vetvete është një lidhje për të formuar deklaratat komplekse, të cilat janë të bazuara në këto supozime:

- çdo shprehje (dhe e thjeshtë dhe komplekse) mund të jetë ose e vërtetë apo e rreme;

- e vërteta e thënieve komplekse varet vërtetën e deklaratave të përfshira në të dhe lidhjet logjike në të.

Kur i lidh dy deklarata përdorimin e fjalës "apo" është marrë tashmë shkëputje. Në jetën e përditshme, ky koncept mund të shihet nga perspektiva e dy kuptime të ndryshme. Së pari, ajo është ndjenjë jo-ekskluzive, që do të thotë të vërtetën e shprehjes, pavarësisht shprehjes së vërtetë të një prej dy apo janë ato të dy. Së dyti, duke eliminuar ndjenjën pohon se një nga shprehjet është e vërtetë, dhe të tjera - është e rreme.

formula propositional përmbajnë karaktere të veçanta. Kështu, në simbol shkëputje V tregon se shprehja është e vërtetë në qoftë se e vërteta e të paktën një prej deklaratave, dhe të rreme qoftë se të dy penis e vet e pabesë.

Në përcaktimin e implikimin ekziston pohimi se deklaratat bazë nuk mund të jetë e vërtetë në hetimet e gabuar. Me fjalë të tjera, ky koncept nënkupton vërtetën varësinë apo falsitetin e shprehjes të vlerës së komponentëve të tij dhe metodat e marrëdhëniet e tyre.

Përkundër faktit se implikimi është mjaft e dobishme për disa qëllime, ajo nuk është shumë në përputhje me kuptimin konvencional të komunikimit në përgjithësi. Pra, kur ai rrethon pajisjen shumë nga karakteristikat e rëndësishme të sjelljes logjike e deklaratave të dhëna koncept nuk mund të jetë një përshkrim i përshtatshëm i saj.

Logjika Deklaruese që synon zgjidhjen e një detyrë të tillë qendror, si ndarjen e sakta dhe të pasakta qarqeve të arsyetimit dhe sistematizimin e parë. Për të marrë rezultatin e duhur, ju duhet të përqëndrohet në karaktere të veçanta që mund të përfaqësojnë një apo një tjetër formë. Prandaj treguar interes në fjalë të tilla në dukje të parëndësishme, si "ose", "dhe", etj

Deklaratat Logjikë madje ka gjuhën e vet, të përbërë nga elementet e mëposhtme:

- personazhet origjinale - variabla, konstantat logjike, dhe simbolet e teknike;

- formula.

Për një kuptim më të mirë të asaj që është thënë ju duhet të shkoni për shembuj specifikë. Për shembull, lidhëza përdorin simbolin &, shkëputje - \ / ose \ º /.