Propositional katarungan

Sa nagpaila ang termino nga "propositional pangatarungan", kini mao ang gikinahanglan nga makasabut sa tin-aw unsa ang usa ka "pamahayag".

Busa, ang pamahayag mao ang usa ka hukom, ranked sakto, ug ang bakak nga mga o sa tinuod nga. ideya Kini kinahanglan nga pagpahayag sa usa ka kahulogan. Kay sa panig-ingnan, ang hugpong sa mga pulong "nga kanaryo nga langgam nga adunay usa ka" naglakip sa mosunod nga mga components: "kanaryo nga" ug "langgam".

Mao nga ang usa sa mga yawe nga una nga konsepto sa lohika ug sa pag-ingon. Kini nga mga konsepto kinahanglan paghulagway sa usa ka piho nga kahimtang sa diin ang pamahayag mao ang bisan usa ka butang o pagdumili.

Kini giisip nga usa ka tinuod nga pamahayag, kon ang gisubay nga linya nga kamatuoran sa sitwasyon sa diha nga kini circumscribing. Pinaagi sa ilang kaugalingon, "bakak nga" ug "tinuod" sa pagtino sa kamatuoran sa mga pamahayag.

Propositional pangatarungan naglangkob sa yano ug komplikado nga mga ekspresyon. Busa, hunahunaa lang ang pamahayag nga wala ilakip sa iyang komposisyon sa ubang mga ekspresyon. Ug sa mga komplikado nga naglakip sa mga ekspresyon nga nakuha gikan sa usa ka yano, makataronganon konektado nga mga pahayag.

Classical propositional katarungan mahimong girepresentahan sa kinatibuk-ang teoriya sa deduction. Kini mao ang bahin nga sa katarungan, nga naghubit sa dili magdepende sa mga pamahayag sa lohikal nga koneksyon sa yano nga mga ekspresyon.

Dili sa naghisgot sa mga iglalanggikit - sa usa ka lisud nga proposisyon nga nakuha pinaagi sa paghiusa sa duha ka yano nga mga ekspresyon sa paggamit sa pulong nga "ug". Ang kamatuoran sa panugtong pagmatuod nga ang tanan nga mga pahayag naglakip sa gambalay niini. Sa kaso diin sa labing menos usa sa mga membro niini nga usa ka bakak, ang bug-os nga inubanan mao ang usa ka timaan sa "usa ka bakak."

Sa iyang kaugalingon mao ang usa ka inubanan sa pagporma sa mga komplikado nga mga pahayag, nga base sa mga pagpakaingon:

- sa bisan unsa nga ekspresyon (ug yano ug komplikado) mahimong bisan sa tinuod o bakak nga mga;

- ang kamatuoran sa komplikado mga pulong agad sa kamatuoran sa mga pulong nga anaa sa niini ug sa makataronganong mga sumpay sa niini.

Sa diha nga nagsumpay sa duha ka mga pamahayag sa paggamit sa pulong nga "o" na nakuha sa disjunction. Sa matag adlaw nga kinabuhi, niini nga konsepto mahimo nga gitan-aw gikan sa panglantaw sa duha ka lain-laing mga kahulogan. Una, kini mao ang non-exclusive nga diwa, nga nagpasabot sa kamatuoran sa ekspresyon, sa walay pagtagad sa mga tinuod nga pagpahayag sa usa sa duha ka o sila sa mga duha ka. Ikaduha, pagwagtang sa diwa nagpahayag nga ang usa sa mga mga ekspresyon mao ang matuod, ug ang uban nga mga - ang bakak nga mga.

Propositional pormula naglakip sa espesyal nga mga karakter. Busa, sa simbolo disjunction V nagpakita nga ang ekspresyon tinuod kong ang kamatuoran sa labing menos usa sa mga pahayag, ug mga bakak nga kon ang duha sa iyang bakak nga kinatawo.

Sa pagtino sa implikasyon didto mao ang pangangkon nga ang base sa mga pahayag nga dili mahimo nga tinuod nga sa sayop nga imbestigasyon. Sa laing mga pulong, niini nga konsepto nagpasabot nga pagsalig sa kamatuoran o sa pagkabakak sa mga pagpahayag sa sa bili sa iyang mga sangkap ug mga pamaagi sa ilang mga relasyon.

Bisan pa sa kamatuoran nga ang implikasyon mao na mapuslanon alang sa pipila ka mga katuyoan, kini mao ang dili kaayo pinasubay sa mga conventional pagsabot sa komunikasyon sa kinatibuk-. Busa, sa diha nga kini ang nagalikos sa lalang daghan sa mga importante nga bahin sa lohikal nga kinaiya sa mga pahayag nga gihatag konsepto dili mahimo nga usa ka igo nga paghulagway sa niini.

Propositional katarungan nga nagtumong sa pagsulbad sa maong usa ka sentro nga buluhaton, ingon nga ang panagbulag sa husto ug sayop nga mga sirkito pangatarongan ug systematization una. Aron sa pagkuha sa husto nga resulta, kamo kinahanglan nga sa pag-focus sa mga espesyal nga mga karakter nga nagrepresentar sa usa o sa lain nga dagway. Busa gipakita interes sa maong daw walay bili nga mga pulong sama sa "o", "ug," ug uban pa

Katarungan mga pamahayag bisan adunay iyang kaugalingon nga pinulongan, nga naglangkob sa mga mosunod nga mga elemento:

- ang orihinal nga mga karakter - baryable, makataronganon mabag, ug teknikal nga mga simbolo;

- pormula.

Kay sa usa ka mas maayo nga pagsabot sa unsa ang miingon nga kinahanglan kamo moadto sa piho nga mga panig-ingnan. Kay sa panig-ingnan, ang conjunction nga paggamit sa simbolo &, disjunction - \ / o \ º /.