Mantiqa propositional

To define (term) "mantiqa propositional", wê pêwîst fêm zelal e ku "daxuyaniyê de" ye.

Bi vî awayî, di daxuyaniyê de cezayê rêzimanê rast e, di pileya, û derew an rast e. Ev têgeh, divê wateyeke wê ya diyar îfade. Ji bo nimûne, komepeyva "bird canary heye" de pêkhatên jêr e: "canary" û "bird".

Ji ber vê yekê yek ji konsêptên destpêkê key mentiq û dibêjin. Ev têgeh, divê rewşa taybet ku di daxuyaniyê de, yan tiştekî yan înkar e rave dike.

Ev navborî, ji daxuyaniya rast e, eger rastiya xeta girêdayî yên li ser rewşê dema ku circumscribing. By xwe, "derew" û "true" diyar rastiyê de, di daxuyaniyên.

mantiqa Propositional ji têgînên sade û aloz. Bi vî awayî, tenê bawer daxuyaniya ku, di pêkhateyeke din îfadekirina xwe de ne. Û bi aloz de bi bîr tîne ku ji sade, daxuyaniyên bi awayekî mantiqî ve girêdayî Navdêr.

mantiqa propositional Classical dikare ji aliyê teoriya giştî ya dabirîna temsîlkirin. Ev ku beşek ji mantiqa, ku .Dem li ser daxuyaniyên girêdana mantiqî ya îfadeyên sade ve girêdayî ye.

Ne behsa Hoker - pêşniyareke zehmet dest bi yekbûneke du têgînên sade bikaranîna gotina "û". Di rastiyê de, di xaçerêya piştrast bike ku hemû daxuyaniyên di nav de li avahiya xwe. Di doza ku bi kêmanî yek ji endamên wê a derewîn, hemû bi minasebeta nîşana e ", derew e."

Xwe a bi minasebeta tê bikaranîn, ji bo avakirina daxuyaniyên aloz, bi yên ku li ser van pêşmercên li:

- ti îfadeyê (û sade û kompleks) dikare bibe yan jî rast e an xelet;

- di rastiyê de, di temsîla aloz girêdayî li ser rastiyê de, di daxuyaniyên de di wê de û li girêdan mentiqî de di wê de.

Dema ku girêdana du gotinên bikaranîna gotina "an jî" ji niha ve dest bi disjunction. Di jiyana rojane de, di vê konseptê de dikarin ji perspektîfa du wateyên cuda bînrawe. Pêşî, ev hesta non-exclusive, ku tê wateya rastiyê ramanê, bêyî îfadeya rasteqîn ya ku yek ji du an jî ew kesên ku ji her du ye. Duyemîn, tasfiyekirina wateya diyar kir ku yek ji têgînên rast e, û ya din jî - derewîn e.

formulas Propositional de dihewîne characters taybet. Bi vî awayî, li sembola disjunction de ye, diyar dike ku îfadeya rast e, eger bi rastî ji bi kêmanî yek ji daxuyaniyên, derewîn û eger hem penis derewîn wê.

Di diyarkirina mehneyê jî li ser îfadeyên ku daxuyaniyên bingehîn ne dikarin li ser lêpirsîna çewt de rast be wê derê. Bi gotineke din, di vê konseptê de tê wateya rastî girêdayîbûna an falsity ji ramanê ya di nirxa yên pêkhateyên û rêbazên ji peywendiyên xwe wê.

Bi tevî, ku başiya ji bo hin armancên pir kêrhatî ye, ev e pir hevgirtî, bi têgihîştina adetî, yên ragihandinê bi giştî ne. Bi vî awayî, çaxê ku ew amûrê bi gelek taybetmendiyên girîng ên ku reftara mentiqî de ji daxuyaniyên dayîn konsepta dibe ku description têrkir ew ne dipêçe.

mantiqa Propositional bi armanca çareserkirina vê erkê navendî, weke cudakirina rast û rast nenivîsandiye, minaqeşeyên circuits û berbelavbûna yekem. Ji bo encama rastê, ku divê hûn li ser karekterên taybet ku dikare yek an jî bi awayekî din temsîl. Ji ber vê yekê diyar eleqeya li van peyvên ewla biçűk, wek "an", "û" hwd.

daxuyaniyên Logic jî heye zimanê xwe bi xwe de, ku ji hêmanên jêr e:

- karakter original - guherbarên, constants mentiqî, û sembolên teknîkî;

- formulas.

Ji bo têgihiştineke baştir ji çi hatibe gotin divê hûn ji bo wergerandî taybet herin. Ji bo nimûne, li xaçerêya bi kar sembola &, disjunction - \ / an \ º /.