Proposizio logika

epe "proposizio logika" definitzeko, argi eta garbi ulertzeko beharrezkoa da zer "adierazpen" bat da.

Beraz, adierazpena esaldi bat da, sailkapenean gramatikalki zuzena, eta faltsua edo egiazkoa da. ideia hau esanahi jakin bat adierazteko behar. Adibidez, esaldi "Kanariar txori ditu bat" osagai hauek ditu: "Kanariar" eta "Txoria".

Hori dela eta, logika eta hasierako funtsezko kontzeptuak bat esaten. Kontzeptu horiek egoera jakin bati bertan adierazpena bai zerbait edo ukatzea da deskribatzeko behar.

Jotzen da egia adierazpen bat izan nahi du, lerro eginak egoeraren errealitateari denean mugatzeko bada. Beren kabuz, "faltsua" eta "egia" zehazteko adierazpenak egia.

Proposizio logika espresio sinpleak eta konplexuak osatzen dute. Beraz, besterik uste adierazpena ez duela bere osaeran beste adierazpen, besteak beste. Eta konplexua sartzea erraza da, logikoki konektatutako adierazpenak eratorritako esamoldeak.

Klasikoa proposizio logika kenkaria teoria orokorraren arabera irudika daitezke. logika, eta hori ez deskribatzen esamolde sinpleen konexio logikoa adierazpenak araberakoa zati hori da.

Zaila proposamen bat bi adierazpen sinplea hitza "eta" erabilita konbinatuz lortutako - Ez juntagailuak aipatzearren. batera egia baieztatzeko adierazpenak guztiek bere egitura sartzen. kasuan non gutxienez bere kideen faltsu bat da, batera osoan seinale da "gezur bat."

Berez batera egin dute konplexua adierazpenak dira, hipotesi horiek oinarritzen osatzen da:

- Edozein adierazpen (eta sinple eta konplexua) bai egia edo gezurra izan daiteke;

- the Ahots konplexua egia bertan jasotako adierazpenak eta bertan logikoa loturak egia araberakoa da.

Bi adierazpenak hitza erabiliz konektatzen "edo" dagoeneko disjuntzioa lortzen da. Eguneroko bizitzan, kontzeptu hori bi esanahi ezberdinak ikuspuntutik ikus daitezke. Lehenik eta behin, ez-esklusiboa zentzurik, zein adierazpen egia esan, egia bietako bat adierazpena kontuan hartu gabe edo dira bi horiek dute da. Bigarrenik, zentzu ezabatuz baieztatzen adierazpen bat egia da, eta beste - faltsua.

Proposizio formulak eduki karaktere bereziak. Horrela, disjuntzioa ikurra ere V dela adierazten adierazpena egiazkoa dela gutxienez adierazpenak bat, eta faltsua bai bere zakil faltsua bada egia bada.

inplikazioa zehazteko daude baieztapen hori oinarri adierazpenak ezin da egia okerreko ikerketa da. Bestela esanda, kontzeptu hori menpekotasun egia edo bere osagaiak eta haien harremanen metodoak balioa adierazpena faltsutasuna dakar.

Izan ere, inplikazio hori oso helburu batzuk erabilgarria izan arren, ez da oso orokorrean komunikazio ulertzeko konbentzionalak koherentea. Beraz, gailua eman kontzeptua adierazpenak portaera logikoa ezaugarri garrantzitsu asko agian ez da azalpen egoki bat izan inguratzen du.

Proposizio logika Misio zentral bat konpontzen, zuzena eta okerra Zirkuitu arrazoibide eta sistematizazio lehen bereizketa bezala zuzenduta. eskuineko emaitza lortzeko, pertsonaiak berezi bat edo beste modu bat irudikatu ahal zentratu behar duzu. Hori dela adierazten da, hala nola, adibidez, "edo" hitz itxuraz hutsala interesa, "eta," etc.

Logika adierazpenak, nahiz eta bere hizkuntza propioa du, elementu hauek osatzen dute:

- jatorrizko karaktere - aldagaiak, konstanteak logikoa eta sinboloak teknikoa;

- formulak.

Esandakotik hobeto ulertzeko adibide zehatzak joan behar duzu. \ / Edo \ º / - Adibidez, juntagailuaren ikurra &, disjuntzioa erabili.