Loġika propositional

Sabiex jiġi definit it-terminu "loġika propositional", huwa meħtieġ li wieħed jifhem b'mod ċar dak li huwa "dikjarazzjoni".

Allura, id-dikjarazzjoni hija sentenza, iggradata grammatikament korretta, u tkun falza jew veru. Dan il-kunċett għandu jesprimi tifsira partikolari. Per eżempju, il-frażi "għasfur kanarju għandha" tinkludi l-komponenti li ġejjin: "kanarju" u "għasafar".

Dan huwa għaliex wieħed mill-kunċetti inizjali ewlenin tal-loġika u qed jgħidu. Dawn il-kunċetti għandhom jiddeskrivu sitwazzjoni speċifika li fiha l-istqarrija hija jew xi ħaġa jew ċaħda.

Huwa meqjus li jkun hemm stqarrija vera, jekk ir-realtà linja traċċati tas-sitwazzjoni meta huwa jiċċirkoskrivi. Minnhom infushom, "foloz" u "vera" jiddeterminaw il-verità tad-dikjarazzjonijiet.

loġika propositional jikkonsisti espressjonijiet sempliċi u kumplessi. Għalhekk, biss jaħsbu li l-dikjarazzjoni li ma tinkludix fl-kompożizzjoni espressjonijiet oħra tagħha. U għall-kumpless jinkludi espressjonijiet li huma derivati minn sempliċi, dikjarazzjonijiet loġikament konnessi.

loġika propositional klassiku jistgħu jkunu rappreżentati mill-teorija ġenerali ta 'tnaqqis. Huwa dik il-parti tal-loġika, li jiddeskrivi ma jiddependux fuq id-dikjarazzjonijiet ta 'rabta loġika ta' espressjonijiet sempliċi.

Biex ma nsemmux l-konġunzjonijiet - proposition diffiċli tinkiseb billi tgħaqqad żewġ espressjonijiet sempliċi li jużaw il-kelma "u". Il-verità tal-konġunzjoni jikkonferma li d-dikjarazzjonijiet kollha inklużi fl-istruttura tiegħu. Fil-każ fejn mill-inqas wieħed mill-membri tagħha foloz,-konġunzjoni kollu huwa sinjal ta ' "jimteddu."

Nnifisha hija flimkien biex jiffurmaw id-dikjarazzjonijiet kumplessi, li huma bbażati fuq dawn is-suppożizzjonijiet:

- kwalunkwe espressjoni (u sempliċi u kumplessi) jistgħu jkunu jew vera jew falza;

- il-verità ta 'l-attakki kumplessi jiddependi fuq il-verità tad-dikjarazzjonijiet li jinsabu fih u l-links loġiċi fiha.

Meta mqabbda żewġ stqarrijiet li jużaw il-kelma "jew" hi diġà kisbet l-disjunction. Fil-ħajja ta 'kuljum, dan il-kunċett jista' jarah mill-perspettiva ta 'żewġ tifsiriet differenti. Ewwel, huwa sens mhux esklussiva, li tfisser il-verità ta 'espressjoni, irrispettivament mill-espressjoni vera ta' wieħed miż-żewġ jew huma dawk tat-tnejn. It-tieni nett, jeliminaw l-sens tispjega li waħda mill-espressjonijiet hija vera, u l-oħra - hija falza.

formuli propositional fihom karattri speċjali. Għalhekk, fil-simbolu disjunction V jindika li l-espressjoni huwa veru jekk il-verità ta 'mill-inqas wieħed mill-istqarrijiet, u falza jekk iż-żewġ pene falza tagħha.

Fid-determinazzjoni tal implikazzjoni hemm il-affermazzjoni li d-dikjarazzjonijiet bażi ma jista 'jkun minnu fil-investigazzjoni ħażin. Fi kliem ieħor, dan il-kunċett jimplika verità dipendenza jew falsità tal-espressjoni tal-valur tal-komponenti u l-metodi tar-relazzjonijiet tagħhom tagħha.

Minkejja l-fatt li l-implikazzjoni hija pjuttost utli għal xi skopijiet, mhuwiex konsistenti ħafna mal-fehim konvenzjonali ta 'komunikazzjoni b'mod ġenerali. Għalhekk, meta jdawru l-mezz ħafna mill-karatteristiċi importanti ta 'l-imġiba loġika tad-dikjarazzjonijiet mogħtija kunċett jista' ma jkunx deskrizzjoni adegwata ta 'dan.

loġika propositional għan li jsolvu din il-missjoni ċentrali, bħala l-separazzjoni ta 'korretta u żbaljata ċirkwiti raġunament u systematization ewwel. Biex tikseb ir-riżultat id-dritt, inti għandek bżonn li wieħed jiffoka fuq il-karattri speċjali li jistgħu jirrappreżentaw wieħed jew forma oħra. Għalhekk indikat interess f'dawn kliem apparentement insinifikanti bħal "jew", "u," eċċ

dikjarazzjonijiet Loġika anki għandha lingwa tagħha stess, li jikkonsisti mill-elementi li ġejjin:

- il-karattri oriġinali - varjabbli, kostanti loġiku, u simboli tekniċi;

- formuli.

Għal fehim aħjar ta 'dak li ntqal inti trid tmur għal eżempji speċifiċi. Per eżempju,-konġunzjoni jintuża s-simbolu & D, disjunction - \ / jew \ º /.